- The kernel can run on real hardware. I have tested this on Starfive Visionfive2 v1.3B.
- The kernel takes care of SMP more gracefully (by explicitely forbidding more than one hart running at the same time).
- The kernel has been stripped down from unneeded complexity.