docs: add found_bugs for akaros

README.md

@@ -13,7 +13,7 @@ You can subscribe to it with a google account or by sending an email to syzkalle
 
 Initially, syzkaller was developed with Linux kernel fuzzing in mind, but now it's being extended to support other OS kernels as well.
 Most of the documentation at this moment is related to the Linux kernel.
-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).
 
 - [How to install syzkaller](docs/setup.md)
 - [How to use syzkaller](docs/usage.md)

docs/akaros.md → 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"
 ```

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)

docs/found_bugs.md

@@ -1,3 +1,4 @@
 # Found bugs
 
 [Linux kernel bugs](linux/found_bugs.md)
+[Akaros kernel bugs](akaros/found_bugs.md)

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`: