kernel: add build config for the experimental "split kernel"

Browse Source

The aim of the split kernel is to introduce a level of intra-kernel
protection into the kernel so that, amongst other things, it can
offer lifetime guarantees over kernel code and data integrity.

These patches only wire in the kernel build from a 4.11-rc3 snapshot.
The userspace tools will follow shortly.  Instructions came via
https://github.com/linux-okernel/linux-okernel (linux-okernel branch)
and via @edwards-n and @t-koulouris.

The build can be done via `cd projects/okernel && make`.

Signed-off-by: Anil Madhavapeddy <anil@docker.com>

...

This commit is contained in:

Anil Madhavapeddy

2017-03-23 16:40:00 +00:00

parent 273ff3a5b5

commit 85b37697ac

3 changed files with 3778 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

3639

projects/okernel/kernel_config.okernel Normal file

File diff suppressed because it is too large Load Diff