DiscoBSD

> 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers

> Instructions to configure an OpenBSD host development environment for Arm and MIPS targets:

https://github.com/chettrick/discobsd/blob/master/tools/open...