If you want an application to be portable, you don't necessarily create an abstraction layer like a microkernel so much as you program intelligently.