Then use Redox OS, or convince Torvalds to merge Asterinas' memory handling code into Linux.