Originally posted by sindr
View Post
Furthermore, programs do not need to be recompiled for a different microkernel; the ABI is the same regardless of the kernel used.
Leave a comment: