aboutsummaryrefslogtreecommitdiffstats
path: root/docs
Commit message (Collapse)AuthorAgeFilesLines
* .github/workflows: check commit description formatDmitry Vyukov2020-07-311-0/+11
| | | | | Check PR commit subjects for the standard format we use "pkg/name: description of the change". Check PR commit bodies for at most 120 characters.
* docs/openbsd: update found bugs.mdAnton Lindqvist2020-07-291-0/+20
|
* docs: add section on descriptions testingDmitry Vyukov2020-07-272-14/+74
| | | | | | | The sys/OS/test/* tests are currently mostly undocumented. Add initial documentation for these tests. The "External Dependencies" section is just moved with no changes.
* docs: add a note re pseudo-syscall dependenciesDmitry Vyukov2020-07-161-0/+14
|
* docs: add a note re per-field directionsDmitry Vyukov2020-07-161-1/+4
|
* docs: add instructions on updating syz-envAndrey Konovalov2020-07-151-0/+6
|
* docs: add another research paperDmitry Vyukov2020-07-121-0/+1
|
* Update syzbot.mdAndrey Konovalov2020-07-091-1/+3
|
* docs/linux: use OpenSBI jump firmware in QEMU for linux/riscv64Tobias Klauser2020-07-091-3/+5
| | | | | | | | Use the OpenSBI "jump" firmware with the QEMU -bios parameter to boot linux/riscv64. This will allow to boot the kernel directly without having to recompile OpenSBI every time the kernel is recompiled. Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
* docs/linux: add not about default OpenSBI firmware in QEMU for linux/riscv64Tobias Klauser2020-07-091-0/+29
| | | | | | | | Mention the possibility to use `-bios default` to use OpenSBI provided with QEMU. However, this might not work on all distributions yet, so make it optional. Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
* docs/linux: drop dhcpcd from buildroot options in linux/riscv64 instructionsTobias Klauser2020-07-091-1/+0
| | | | | | buildroot already installs udhcpc as a DHCP client. Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
* docs/linux: mention QEMU version in linux/riscv64 instructionsTobias Klauser2020-07-091-0/+4
| | | | Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
* docs: add explanation of flags typeDmitry Vyukov2020-07-092-1/+22
| | | | | * docs: add explanation of flags type * Apply suggestions from code review Co-authored-by: Marco Elver <marco.elver@gmail.com>
* docs: explain pseudo-syscall argument typeDmitry Vyukov2020-07-081-2/+12
|
* docs: add tips on writing descriptionsDmitry Vyukov2020-07-081-0/+60
|
* docs: add note that pseudo-syscalls are discouragedDmitry Vyukov2020-07-081-3/+12
|
* docs/linux: use OpenSBI instead of BBL to boot linux/riscv64 QEMU VMTobias Klauser2020-07-011-10/+12
| | | | | | | | | | OpenSBI seems to be the recommended boot method nowadays, see e.g. [1], [2] [1] https://riscv.org/2019/01/risc-v-community-releases-opensbi-to-foster-continued-ecosystem-growth/ [2] https://wiki.freebsd.org/riscv#OpenSBI Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
* docs/linux: mention CONFIG_KMEMLEAK in suggested kernel configsTobias Klauser2020-07-011-0/+7
| | | | Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
* docs/linux: change suggested kernel git repoDmitry Vyukov2020-06-291-1/+1
| | | | | | | Suggest to checkout linux kernel from kernel.org rather than from github. github is a mirror and we don't use it ourselves and I think it's generally not used by kernel developers. The kernel.org repo is the canonical location.
* Update setup_ubuntu-host_qemu-vm_x86-64-kernel.mdAndrey Konovalov2020-06-291-1/+1
|
* Update setup_ubuntu-host_qemu-vm_x86-64-kernel.mdAndrey Konovalov2020-06-291-1/+3
|
* docs/linux: add setup guide for riscv64 kernel in QEMUTobias Klauser2020-06-272-0/+150
| | | | Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
* docs: fix a link in research pageDmitry Vyukov2020-06-241-1/+1
|
* docs/syzbot: Add link to GCC 10Marco Elver2020-06-221-0/+1
|
* Update external_fuzzing_usb.mdAndrey Konovalov2020-06-191-4/+8
|
* Update setup_ubuntu-host_qemu-vm_x86-64-kernel.mdAndrey Konovalov2020-06-191-0/+2
|
* docs/syzbot: Update KCSAN related informationMarco Elver2020-06-181-7/+4
|
* Update external_fuzzing_usb.mdAndrey Konovalov2020-06-171-1/+1
|
* Update external_fuzzing_usb.mdAndrey Konovalov2020-06-161-7/+7
|
* Update external_fuzzing_usb.mdAndrey Konovalov2020-06-161-1/+1
|
* Update syzbot.mdAndrey Konovalov2020-06-161-5/+15
|
* docs/syzbot.md: update notes on USBAndrey Konovalov2020-06-131-14/+6
|
* Update syscall_descriptions.mdAndrey Konovalov2020-06-121-2/+1
|
* Update external_fuzzing_usb.mdAndrey Konovalov2020-06-121-7/+5
|
* Update syscall_descriptions.mdAndrey Konovalov2020-06-121-1/+2
|
* Update syscall_descriptions.mdAndrey Konovalov2020-06-121-1/+7
|
* all: use more respective languageDmitry Vyukov2020-06-112-3/+3
| | | | | | | | Some terms are normalised on the technical level but may be oppressive on a societal level. Replace them with more technically neutral terms. See the following doc for a longer version: https://tools.ietf.org/id/draft-knodel-terminology-00.html
* Update syscall_descriptions_syntax.mdAndrey Konovalov2020-06-101-4/+4
|
* docs: new file pseudo_syscalls.mdRicardo Cañuelo2020-06-101-0/+72
| | | | | Add a brief description about pseudo-syscalls and how to create new ones.
* docs: suggested changes for pull-request 1797Ricardo Cañuelo2020-06-081-19/+8
| | | | https://github.com/google/syzkaller/pull/1797
* docs: more info about resources and the "enable_sysaclls" config optionRicardo Cañuelo2020-06-082-2/+41
| | | | | | | - Give some extra clarifications and examples about resources in syscall descriptions. - More details about how to use the "enable_syscalls" option. - Mention pseudo-syscalls in the general syscall description doc file.
* Update setup.mdAndrey Konovalov2020-06-041-2/+2
|
* Update setup.mdAndrey Konovalov2020-06-041-0/+15
|
* docs/freebsd: install golangci-lint on FreeBSDMichael Tuexen2020-06-041-1/+1
| | | | This is required for gmake presubmit.
* docs/linux: fix example qemu commandMatt Morehouse2020-06-041-2/+2
|
* tools: add syz-big-envDmitry Vyukov2020-06-021-1/+1
| | | | | | | | On top of syz-env it provides akaros/fuchsia/netbsd toolchains and gcloud sdk. With this it's possible to run dashboard/app tests on CI and locally and test executor build and pkg/{csource,cover} for these OSes. Update #1765
* docs: fix a typoDmitry Vyukov2020-05-311-1/+1
| | | Fixes ##1778
* docs/netbsd: update image linkDmitry Vyukov2020-05-281-3/+1
|
* docs: add KRACE paperDmitry Vyukov2020-05-221-0/+1
|
* Update setup_ubuntu-host_qemu-vm_x86-64-kernel.mdAndrey Konovalov2020-05-191-1/+1
|