genode/repos/base-linux
Stefan Thöni 78497c03ca base-linux: enabled seccomp
base-linux uses seccomp to reduce the available system calls
to the minimum set needed to run base-linux. There are still
some syscalls that allow accessing global state which should
be further reduced.

The combination of seccomp and socket descriptor caps should
provide an intermediate level of security for base-linux
thereby enabling base-linux as a migration path from using
the Linux kernel to the use of microkernel-based Genode.

Fixes #3581
2020-05-27 11:56:46 +02:00
..
etc Add unified build directories to create_builddir 2017-01-13 13:05:44 +01:00
lib base-linux: enabled seccomp 2020-05-27 11:56:46 +02:00
recipes depot: update recipe hashes 2020-05-18 10:16:59 +02:00
run lx_hybrid_errno.run: add missing parent services 2020-03-26 11:38:54 +01:00
src base-linux: enabled seccomp 2020-05-27 11:56:46 +02:00
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00

README

This repository contains the Linux-specific implementation of Genode.