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 --- docs/akaros.md | 18 ------------------ docs/akaros/README.md | 18 ++++++++++++++++++ docs/akaros/found_bugs.md | 6 ++++++ docs/found_bugs.md | 1 + docs/setup.md | 2 +- 5 files changed, 26 insertions(+), 19 deletions(-) delete mode 100644 docs/akaros.md create mode 100644 docs/akaros/README.md create mode 100644 docs/akaros/found_bugs.md (limited to 'docs') 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