l4v VS hubris

Compare l4v vs hubris and see what are their differences.


A lightweight, memory-protected, message-passing kernel for deeply embedded systems. (by oxidecomputer)
Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • SaaSHub - Software Alternatives and Reviews
l4v hubris
7 18
397 1,808
2.0% 4.3%
8.8 9.6
4 days ago 7 days ago
Isabelle Rust
GNU General Public License v3.0 or later Mozilla Public License 2.0
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.


Posts with mentions or reviews of l4v. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-04.


Posts with mentions or reviews of hubris. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-03-30.

What are some alternatives?

When comparing l4v and hubris you can also consider the following projects:

tock - A secure embedded operating system for microcontrollers

esp32 - Peripheral access crate for the ESP32

ferros - A Rust-based userland which also adds compile-time assurances to seL4 development.

meta-raspberrypi - Yocto/OE BSP layer for the Raspberry Pi boards

atsamd - Target atsamd microcontrollers using Rust

seL4 - The seL4 microkernel


omicron - Omicron: Oxide control plane

stm32-rs - Embedded Rust device crates for STM32 microcontrollers

stm32f4xx-hal - A Rust embedded-hal HAL for all MCUs in the STM32 F4 family

Arduino - Arduino IDE 1.x

Asciidoctor - :gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.