Re: Problem with l4linux on real hardware