Rock5 Compatibility

[OpenPurpleMango]

Hi,

Will this be usable on the Radxa Rock5 Model B SBC with the RK3588 (aarch64) and 16GB of RAM? And would it be usable with NixOS?

[jkrh]

Yes, it should work on it, but it will require tiny porting, see this dir https://github.com/jkrh/kvms/tree/master/platform/nxp as an example. QEMU virt support is also provided there as another, even simpler, example. It should work with NixOS directly as it has been ported to a machine model already provided by QEMU.

Shortly, for porting it needs:

• a kernel patch (we can provide for all LTS kernels since 4.9) applied
• location in memory where the console should write in order to produce output
• a machine memory model and placement in the bootup flow.

I'm not aware of any other arm hypervisor that have lower porting requirements. The construction overall is for systems that have really high security requirements as everything here is bleeding edge research about actually making KVM secure and still do all the awesome things it already does.