Re: [squeak-dev] seL4 Microkernel: How small can the shim be?