docs: add found_bugs for akaros

5 files changed, 11 insertions, 4 deletions

diff --git a/README.md b/README.md
index 0f281af10..57142d400 100644
--- a/README.md
+++ b/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)
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`: