search

capablevms / CHERI-ELF-comp

Other
4 stars 1 forks source link

Support for lua scripts in compartments #4

Closed 0152la closed 2 years ago

0152la commented 2 years ago

Most lua functionality is implemented via scripts. To get them working in compartments, there are further functions that need to be delegated to the manager, such as reading in files. We try to provide the minimal changes needed for a lua script-based "Hello World" example.

0152la commented 2 years ago

I know @jacobbramley is away next week, but I'll add him if we want additional input. Not much low-level stuff in this PR though.

ltratt commented 2 years ago

Please squash.

0152la commented 2 years ago

Squashed.

ltratt commented 2 years ago

bors r+

bors[bot] commented 2 years ago

Build succeeded: