It's too bad that this kind of thing is using x86 as the actually-pseudocode for this. I understand why -- ease of porting, etc. -- but using either WASM (w/WALI?) directly with a kernel compiled to WASM (there are efforts to do this) or something open like RISC-V would be better long term.
