diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-11-01 20:36:17 +0300 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-11-01 20:41:02 +0300 |
| commit | e511d9f8d8f1889892d53dd0317f3e99c024f3d5 (patch) | |
| tree | d6fafb4e985df8f448e178be442720cd55727507 /docs | |
| parent | e775312e813c7998bdf5e3bddef465bfa785b8d8 (diff) | |
docs: add found_bugs for akaros
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/akaros/README.md (renamed from docs/akaros.md) | 4 | ||||
| -rw-r--r-- | docs/akaros/found_bugs.md | 6 | ||||
| -rw-r--r-- | docs/found_bugs.md | 1 | ||||
| -rw-r--r-- | docs/setup.md | 2 |
4 files changed, 10 insertions, 3 deletions
diff --git a/docs/akaros.md b/docs/akaros/README.md index 05ea6fdbc..f49662c02 100644 --- a/docs/akaros.md +++ b/docs/akaros/README.md @@ -10,9 +10,9 @@ Akaros does not support Go at the moment (except for a broken for Akaros. Until that happens running on Akaros is challening. However, `syz-stress` can be run as follows: -``` +```shell make TARGETOS=linux syz-stress make TARGETOS=akaros SOURCEDIR=/akaros/checkout executor scp -P 5555 -i akaros_id_rsa -o IdentitiesOnly=yes bin/akaros_amd64/syz-executor root@localhost:/ -bin/linux_amd64/syz-stress -os=akaros -ipc=pipe -executor "/usr/bin/ssh -p 5555 -i akaros_id_rsa -o IdentitiesOnly=yes root@localhost /syz-executor" +bin/linux_amd64/syz-stress -os=akaros -ipc=pipe -procs=8 -executor "/usr/bin/ssh -p 5555 -i akaros_id_rsa -o IdentitiesOnly=yes root@localhost /syz-executor" ``` diff --git a/docs/akaros/found_bugs.md b/docs/akaros/found_bugs.md new file mode 100644 index 000000000..8bb9c9552 --- /dev/null +++ b/docs/akaros/found_bugs.md @@ -0,0 +1,6 @@ +# Found bugs + +_newer first_ + +* [kernel panic in generic_file_write](https://github.com/brho/akaros/issues/44) +* [assertion failed: page && pm_slot_check_refcnt(*page->pg_tree_slot)](https://github.com/brho/akaros/issues/42) diff --git a/docs/found_bugs.md b/docs/found_bugs.md index ba0c93a15..4cc1d4308 100644 --- a/docs/found_bugs.md +++ b/docs/found_bugs.md @@ -1,3 +1,4 @@ # Found bugs [Linux kernel bugs](linux/found_bugs.md) +[Akaros kernel bugs](akaros/found_bugs.md) diff --git a/docs/setup.md b/docs/setup.md index c071d554d..7c8438d02 100644 --- a/docs/setup.md +++ b/docs/setup.md @@ -1,7 +1,7 @@ # How to set up syzkaller Generic setup instructions for fuzzing Linux kernel are outlined [here](linux/setup.md). -For other OS kernels check: [Akaros](/docs/akaros.md), [FreeBSD](/docs/freebsd.md), [Fuchsia](/docs/fuchsia.md), [NetBSD](/docs/netbsd.md), [Windows](/docs/windows.md). +For other OS kernels check: [Akaros](/docs/akaros/README.md), [FreeBSD](/docs/freebsd.md), [Fuchsia](/docs/fuchsia.md), [NetBSD](/docs/netbsd.md), [Windows](/docs/windows.md). After following these instructions you should be able to run `syz-manager`, see it executing programs and be able to access statistics exposed at `http://127.0.0.1:56741`: |