halation_effect

You can use 9pfs or build upon the block device.

Reference paper[1].

[1] https://dl.acm.org/doi/10.1145/3447786.3456248

Systems research is more relevant than ever. You should take a look over the papers published at conferences such as SOSP, OSDI, EuroSys and HotOS. You'll see quite a lot of papers from industry giants. Lots of research OSs are also gaining traction[1][2][3]. I'd say that we're moving towards specialization right now, with a specific OS architecture for your usecase. OS research is far more than Linux right now.

[1] http://www.barrelfish.org/ [2] https://unikraft.org/ [3] https://mars-research.github.io/redleaf

I recommend Unikraft[1][2][3] as an alternative. It is under active development.

[1] https://unikraft.org/

[2] https://github.com/unikra ft/unikraft

[3] https://dl.acm.org/doi/10.1145/3447786.3456248

From the paper:

"MirageOS [40] is an OCaml-specific unikernel focusing on type-safety, so does not support mainstream applications, and its performance, as shown in our evaluation, is sub-par with respect to other unikernel projects"

You could try fuzzing. But, if you do not include a modular OS feature(e.g network stack), the unikernel would not compile since it's missing symbols.

I think it should be able to provide the same guarantees as a RTOS if you implement them. But then, would you call it a unikernel still or a RTOS?

Couldn't you make a real time unikernel? Basically you should be able to modify an existing unikernel implementation to make it real time.

Best paper award at EuroSys21.

[1] https://twitter.com/EuroSys_conf/status/1386979936074969093?...