getting started with L4Linux and DDE