Now you can run Unix on the tiny $4 Raspberry Pi Pico

• FUZIX

  13 2,100 8.1 C

  FuzixOS: Because Small Is Beautiful

• lk

  9 3,065 8.6 C

  LK embedded kernel

  

what about LK ?

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• lk

  1 23 0.0 C

  LK embedded kernel (by librerpi)

  

it has support for the VPU on all rpi models, allowing you to boot LK instead of the firmware

• linux

  72 10,705 10.0 C

  Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/ (by raspberrypi)

  

the 3d and 2d drivers are already open source

• nixpkgs

  975 15,656 10.0 Nix

  Nix Packages collection & NixOS

  

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/libraries/mesa/default.nix#L133

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project