smp topic
arduino-pico
Raspberry Pi Pico Arduino core, for all RP2040 boards
perf_kernel
x64 rust multicore kernel optimized for extreme performance at any cost.
toaruos
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network st...
bastion
Highly-available Distributed Fault-tolerant Runtime
nanomq
An ultra-lightweight and blazing-fast Messaging broker/bus for IoT edge & SDV
service-mesh-performance
Standardizing Service Mesh Value Measurement
MOOS
C# x64 operating system programming with the .NET native ahead-of-time compilation technology.
phoss-smp
phoss SMP - a Peppol and OASIS BDXR SMP Server, CEF eDelivery compliant