Add a CompConfig struct, which contains parameterisable values for compartment properties. Currently this includes only the heap and stack sizes, as well as entry points. The parameters are taken from the .comp TOML config file, similar to how entry points are determined.
Enable lua_suite_some test, which runs a few hand-picked tests from the Lua test suite, just to see if we can find any other parts of Lua that need further handling in the manager.
NOTE gc.luashould work, but it seems to take 10 hours on a virtualised CHERI instance. I think it might be due to the unoptimised memory allocator implementation, but that would need further benchmarking.
Additionally refactor some old code, including getting rid of CompEntryPoint in favour of the singular CompEntryPointDef struct.
Add a
CompConfigstruct, which contains parameterisable values for compartment properties. Currently this includes only the heap and stack sizes, as well as entry points. The parameters are taken from the.compTOML config file, similar to how entry points are determined.Enable
lua_suite_sometest, which runs a few hand-picked tests from the Lua test suite, just to see if we can find any other parts of Lua that need further handling in the manager.NOTE
gc.luashould work, but it seems to take 10 hours on a virtualised CHERI instance. I think it might be due to the unoptimised memory allocator implementation, but that would need further benchmarking.Additionally refactor some old code, including getting rid of
CompEntryPointin favour of the singularCompEntryPointDefstruct.