From e511d9f8d8f1889892d53dd0317f3e99c024f3d5 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 1 Nov 2017 20:36:17 +0300 Subject: docs: add found_bugs for akaros --- README.md | 2 +- docs/akaros.md | 18 ------------------ docs/akaros/README.md | 18 ++++++++++++++++++ docs/akaros/found_bugs.md | 6 ++++++ docs/found_bugs.md | 1 + docs/setup.md | 2 +- 6 files changed, 27 insertions(+), 20 deletions(-) delete mode 100644 docs/akaros.md create mode 100644 docs/akaros/README.md create mode 100644 docs/akaros/found_bugs.md 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.md deleted file mode 100644 index 05ea6fdbc..000000000 --- a/docs/akaros.md +++ /dev/null @@ -1,18 +0,0 @@ -# Akaros support - -[Akaros](http://akaros.cs.berkeley.edu/) support is *incomplete*. - -See [Akaros getting started](https://github.com/brho/akaros/blob/master/GETTING_STARTED.md) -re kernel building/running. - -Akaros does not support Go at the moment (except for a broken -[1.3 port](https://github.com/akaros/go-akaros)). Full Go support is planned -for Akaros. Until that happens running on Akaros is challening. However, -`syz-stress` can be run as follows: - -``` -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" -``` diff --git a/docs/akaros/README.md b/docs/akaros/README.md new file mode 100644 index 000000000..f49662c02 --- /dev/null +++ b/docs/akaros/README.md @@ -0,0 +1,18 @@ +# Akaros support + +[Akaros](http://akaros.cs.berkeley.edu/) support is *incomplete*. + +See [Akaros getting started](https://github.com/brho/akaros/blob/master/GETTING_STARTED.md) +re kernel building/running. + +Akaros does not support Go at the moment (except for a broken +[1.3 port](https://github.com/akaros/go-akaros)). Full Go support is planned +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 -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`: -- cgit mrf-deployment