08:15 <mato> cbarrett: Mirage does not presently attempt to target non-virtualized/bare metal environments.

08:16 <mato> cbarrett: The main thing missing for that would be drivers for the hardware you want to talk to. You could either implement your own (in OCaml), or work out some arrangement using rump kernels.

08:17 <mato> cbarrett: The (old, no longer developed) Mirage/rumprun port was my attempt at the latter, but that design is probably a dead end.

08:19 <mato> cbarrett: My current focus is in getting things working (via Solo5) on as many virtualized/otherwise hosted environments as possible.

13:58 <cbarrett> mato: cool, thank you for the info!