Re: getting started with L4Linux and DDE