Rux: a hobbyist microkernel written in Rust

Rux‘s goal is to become a safe general-purpose microkernel. It tries to take advantage of Rust’s memory model – ownership and lifetime. While the kernel will be small, unsafe code should be kept minimal. This makes updating functionalities of the kernel hassle-free.

Rux uses a design that is similar to seL4. While there won’t be formal verification in the short term, it tries to address some design issues of seL4, for example, capability allocation.

The code is very approachable for anyone interested in capability-based microkernel design.

34 Comments

  1. Alfman 2017-01-09 11:57 pm EST
    • tidux 2017-01-10 6:33 am EST
      • kwan_e 2017-01-10 2:11 pm EST
        • cb88 2017-01-10 3:44 pm EST
          • kwan_e 2017-01-10 4:30 pm EST
        • Alfman 2017-01-10 3:53 pm EST
          • kwan_e 2017-01-10 4:27 pm EST
          • Alfman 2017-01-10 6:23 pm EST
          • kwan_e 2017-01-10 10:47 pm EST
          • Alfman 2017-01-11 4:56 am EST
          • kwan_e 2017-01-11 6:41 am EST
          • ssokolow 2017-01-11 8:05 am EST
          • Alfman 2017-01-11 9:14 am EST
          • kwan_e 2017-01-11 9:52 am EST
          • Alfman 2017-01-11 4:29 pm EST
          • kwan_e 2017-01-11 10:48 pm EST
          • Alfman 2017-01-12 12:47 am EST
          • kwan_e 2017-01-12 1:40 am EST
          • Alfman 2017-01-12 4:01 am EST
          • Alfman 2017-01-12 3:00 pm EST
          • ssokolow 2017-01-12 1:30 am EST
          • kwan_e 2017-01-12 1:54 am EST
          • Rugxulo 2017-01-11 10:28 pm EST
          • Alfman 2017-01-12 12:16 am EST
          • Rugxulo 2017-01-12 11:18 pm EST
          • Alfman 2017-01-13 5:09 am EST
          • ssokolow 2017-01-13 8:33 am EST
          • Rugxulo 2017-01-13 10:54 pm EST
          • ssokolow 2017-01-14 12:54 am EST
          • Rugxulo 2017-01-13 11:08 pm EST
          • RobG 2017-01-10 7:24 pm EST
          • kwan_e 2017-01-10 11:04 pm EST
        • Zan Lynx 2017-01-11 5:41 am EST
          • kwan_e 2017-01-11 6:48 am EST