From what I can tell, Robigalia appears to be what he calls the "user space" component of an operating system based on the sel4 kernel, written in Rust. Sel4 i

From what I can tell, Robigalia appears to be what he calls the "user space" component of an operating system based on the sel4 kernel, written in Rust. Sel4 is a "the world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement". Robigalia was a festival of propitation for the god Robigus, or Robigo (the gender of the god is ambiguous), a personification-type deity of crop disease. A thematic colour was of the festival is red, and Robigo was also the name at the time for what we call "wheat rust"[0], a potentially devistating crop disease. So we have both the prevention of disease (Sel4) and the thematic presence of Rust. [0] https://en.wikipedia.org/wiki/Wheat_leaf_rust https://en.wikipedia.org/wiki/Wheat_leaf_rust