Hi, today we have another small treat for those interested in L4Re. You should check door 21 [1] of the QEMU advent calendar for a peek on what you can build with our newly released #L4Re projects. Happy holidays! Matthias. [1] https://www.qemu-advent-calendar.org/2018/#day-21 -- Matthias Lange, matthias.lange@kernkonzept.com, +49-351-41 888 614 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth