Micro-kernel i686 development.