> initializing secure kernel...