home.social
Sign in Create account

#sel4 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #sel4, aggregated by home.social.

  1. aegilops @aegilops ·

    @joxean tilck, seL4 or the Firefly Kernel might fit the bill?

    github.com/vvaltchev/tilck

    github.com/seL4/seL4

    github.com/FireflyOS/Firefly-K

    #tilck #sel4 #tinykernel #fireflyos