cherios

cherios copied to clipboard

What's the RAM overhead of the CheriOS "software compartments"?

2

Hi, this is a great project. Just curious what's the typical memory overhead of the software compartments in terms of kilobytes/bytes? Thanks!

shafqatevo

gvnn3

gvnn3

(in capsicum mode, can we confine syscalls to the “microkernel”?)

gvnn3

While trying to build `mbedtls`, a number of errors were reported that ultimately stemmed from the standard headers not quite agreeing with the standard. In one case, `mbedtls` `#define`-d `ADD`...

nwf

Modified the mips.h exception codes to match cheri-qemu. This involved replacing some previously reserved fields and most notably changing the code for DWATCH from 24 to 23. Additionally, modified kernel...

Gediminas19

Combining the two flags means that we always record timing when the benchmark is run.

Verylostpenguin

Declare benchmarks as programs instead of daemons so init will wait for them to finish running before shutting down.

Verylostpenguin