Re: Adding hardware access to L4Linux, and killing serial console