Logo

robigalia

  • updated
  • updated
  • musl-robigo

    A fork of musl-libc for use with Robigo, a POSIX emulation layer.

    updated
  • sel4-sys

    A raw Rust interface to the seL4 kernel

    updated
  • phoma

    Interface to the Phoma runtime

    updated
  • sel4

    seL4 kernel build system with Robigalia configs

    updated
  • book

    Informal specs, design documentation, and prose explaining the Robigalia project

    updated
  • updated
  • lodapi

    Pure-Rust library for communicating with devices using the HID protocol

    updated
  • meta

    Meta-level documentation for the Robigalia project.

    updated
  • updated
  • sel4-start

    Crate defining the entry point for the initial thread using Rust on seL4

    updated
  • devbox

    A Vagrant VM for building and running Rust code on seL4

    updated
  • phoma-abi

    IPC types for interfacing with Phoma

    updated
  • updated
  • updated
  • updated
  • ssmarshal

    Stupid simple value-only marshaling using serde

    updated
  • tempo

    A crate for handling system time.

    updated
  • nemo

    Nameless IO subsystem

    updated