This fork of inferno-os is focused on the raspberry pi pico port. See the pico branch.
Primary LanguageC