This is a very basic implementation of an MQTT broker developed as a unikernel for the Raspberry Pi. It was developed using the Circle library, which enables the generation of executable images for the Raspberry Pi as bare-metal applications.
This is part of the codebase for my thesis.