Re: Microkernel dinner?