would be kinda neat if they made redox a drop in kernel replacement, kind of like MkLinux back in the old Apple days