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
  • Scout APM - Less time debugging, more time building
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • 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

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

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