On Hubris and Humility: developing an OS for robustness in Rust [video]

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
  • hubris

    A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

    Noted on the Infineon devices! ;)

    Yes, it will timeout if the device doesn't respond, thanks to the timeout logic in the STM32H7's I2C block.[0] If the block didn't have that logic, Hubris would still make it relatively easy to do that, though, as one would just perform the closed receive for the interrupt or a timer notification. (An example of a closed receive on a timer can be found at [1].)

    [0] https://github.com/oxidecomputer/hubris/blob/01b5af3d54348ba...

    [1] https://github.com/oxidecomputer/hubris/blob/01b5af3d54348ba...

  • l4v

    seL4 specification and proofs

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts