Re: Simple test kernel for the non-secure world