Compatible with Linux or with a language?

For a new system like nix, it might be easier and more effective to introduce
compatibility with a run-time for a popular language than doing the same for
a legacy operating system.

In the past, introducing trampolines and emulation for Linux might help to
run Linux binaries. However, if we aim at running, say, go programs,
it would be much easier and cleaner to provide support for its run time.

Systems for multicore computers

With so many cores in modern machines, it is time to rethink how the system should handle them.
There are interesting models, like the multikernel, published in the literature. However, it seems that a simpler way must exist.

For example, we can make some cores execute just user code, with no interrupts, and no round robin. We can make other cores execute system code.