Is there any documentation or tutorials on the DDEkit available online? Google didn't turn up much information. All I found were doxygen generated docs.
As part of my search I've also discovered a paper by Thomas Friebel in which he outlined the implementation of dde_fbsd. An adapter for FreeBSD on top of DDEKit. Apart from that single paper I wasn't able to find anything else on the topic. Was dde_fbsd actually included in dde_kit or was that just a theoretical project? I though perhaps you know something about this since it was also developed at TUD…
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
the design Thomas Friebel describes in his thesis was implemented on top of L4Env and may still be available from TUD:OS. Since then, DDE kit was reimplemented for Genode and also for L4Re. Both reimplementations improved the original design and API to fit the target systems requirements. Therefore, also the OS-specific DDE parts (i.e. DDE Linux) were also adapted. In the DDE approach DDE kit is only the low-level platform-abstraction layer while DDE Linux is a library using DDE kit and providing Linux-kernel interfaces for unmodified device drivers.
Unfortunately, an extensive whitepaper about the DDE approach is still missing, but if you have specific questions do not hesitate to ask on either the Genode or the L4 hackers maling list.
Regards,
Christian Helmuth
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hi everybody
Is there any documentation or tutorials on the DDEkit available online? Google didn't turn up much information. All I found were doxygen generated docs.
As part of my search I've also discovered a paper by Thomas Friebel in which he outlined the implementation of dde_fbsd. An adapter for FreeBSD on top of DDEKit. Apart from that single paper I wasn't able to find anything else on the topic. Was dde_fbsd actually included in dde_kit or was that just a theoretical project? I though perhaps you know something about this since it was also developed at TUD…
Hello,
the design Thomas Friebel describes in his thesis was implemented on top of L4Env and may still be available from TUD:OS. Since then, DDE kit was reimplemented for Genode and also for L4Re. Both reimplementations improved the original design and API to fit the target systems requirements. Therefore, also the OS-specific DDE parts (i.e. DDE Linux) were also adapted. In the DDE approach DDE kit is only the low-level platform-abstraction layer while DDE Linux is a library using DDE kit and providing Linux-kernel interfaces for unmodified device drivers.
Unfortunately, an extensive whitepaper about the DDE approach is still missing, but if you have specific questions do not hesitate to ask on either the Genode or the L4 hackers maling list.
Regards,
Christian Helmuth
Thanks for the quick reply!
I'll check out those mailing lists you suggested