Re: L4-based microkernel on Intel SCC