Re: [Microkernel-devroom] Panel discussion