The underlying API is always going to be POSIX and the ABI is going to be C based which in this age we can do better. Regarding abstraction - there is way too

The underlying API is always going to be POSIX and the ABI is going to be C based which in this age we can do better. Regarding abstraction - there is way too much already. A platform should stand alone and self host be viable, which is impossible with the Linux kernel as you have to pull in most of GNU to build it and change it. We can do better!