dde kit

Daniel Krefft daniel.krefft at tum.de
Fri Mar 13 09:26:22 CET 2015

Hi there,

we want to use the ddekit in one of our courses next summer term. So, to 
get comfortable with the setup and the toolchain I would like to ask if 
a step by step guide to get the ddekit up and running exists?

Best regards,

* Daniel Krefft M.Sc.
* T: +49-89-289-18791
* Technische Universitaet Muenchen
* Fakultaet fuer Informatik - F13  (Prof. Baumgarten)
* Boltzmannstr. 3
* D-85748 Garching bei Muenchen
* Germany

More information about the l4-hackers mailing list