The Electronics Systems (ES) group has developed a real-time multi-core embedded platform (CompSOC) that is at the cutting edge of embedded systems development. One distinguishing feature is that it can execute multiple applications in complete isolation from each other, while providing guarantees on timing and correctness of functionality. On a processor (ARM, microblaze) this function is provided by our Comik microkernel.
Linux is an embedded operating system (OS) that is widely used but it is not designed to be real-time.
In this project you will investigate how to make Linux hard real time, and offer the same complete timing isolation as Comik. Options include virtualising Linux or changing the Linux scheduler and timers to make it behave like Comik.
C programming Linux (kernel) knowledge