Re: Problems booting L4Linux2.4+L4Env