If you're going to run an interpreter as a unikernel, arguably you should pick a typed assembly language and use that to enforce desirable properties about the

If you're going to run an interpreter as a unikernel, arguably you should pick a typed assembly language and use that to enforce desirable properties about the assemblies you're running (e.g. protection domains). FORTH doesn't really make these things feasible so I find that choice quite puzzling.