Skip to content

@RicoqOS RicoqOS

Change the repository type filter

All

    Repositories list

    5 repositories

    • chick

      Public
      Experimental x86-64 seL4-like microkernel for soft real-time use.
      Rust
      •0•3•3•0•Updated Jan 18, 2026Jan 18, 2026

    • example-bin

      Public
      Examples of rust binaries executable on the OS
      0•0•0•0•Updated Jun 24, 2025Jun 24, 2025

    • userland

      Public
      0•0•0•0•Updated Jun 9, 2025Jun 9, 2025

    • RicoqOS

      Public
      0•0•0•0•Updated Jun 9, 2025Jun 9, 2025

    • targets

      Public
      0•0•0•0•Updated Jun 8, 2025Jun 8, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.