L4Re development version available on GitHub

Dear L4 hackers, we in Kernkonzept are happy to announce the release of our L4Re operating system framework on GitHub. Today we release 6 new repositories: https://github.com/kernkonzept/mk https://github.com/kernkonzept/manifest https://github.com/kernkonzept/l4re-core https://github.com/kernkonzept/hello https://github.com/kernkonzept/drivers-frst https://github.com/kernkonzept/bootstrap Together with the Fiasco.OC repository released earlier this year[1], these repositories represent a frequently updated foundation for building operating systems with real-time, security, safety and virtualization requirements. The manifest repository contains a Wiki with detailed instructions on building[2] L4Re and contributing[3] to it. Happy hacking! Jakub [1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2018/008224.html [2] https://github.com/kernkonzept/manifest/wiki/BUILDING [3] https://github.com/kernkonzept/manifest/wiki/CONTRIBUTING