Embedded systems engineering This repository contains the source of the module website for KF6010 Distributed real-time systems