Highly-available Distributed Fault-tolerant Runtime
Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards
翻译 - Raspberry Pi Pico Arduino内核，适用于所有RP2040板
C# x64 operating system programming with the .NET native ahead-of-time compilation technology.
a little 64bit operating system written in c++ with smp support
翻译 - 一点用c ++编写并支持smp的64位操作系统
