An operating system written in the ESL programming language (see https://github.com/bagel99/esl).
The code is not production quality by far, it is rudimentary and incomplete. But it does contain some support for IPv4 and IPv6, USB devices, UARTs and such.
Code for the following chips/boards is supplied:
- LPC1768 / MBED
- STM32F107 / STM32-P107
- STM32F30x / Discovery
- STM32F407 / STM32-E407
- CC2538 / CC2538DK