L4Re and Google Summer of Code

L4Re participated in GSoC 2018 under the umbrella of the Microkernel devroom. This page contained the list of possible project ideas with prospective mentors. If you have any questions regarding the topics or would like L4Re to pick up any next chance to be part of GSoC, please tell us at gsoc@l4re.org. Thanks.