ferros-sabrelite-toy-system

Rust seL4 toy system built on ferros for the imx6 sabrelite platform (by jonlamb-gh)

Ferros-sabrelite-toy-system Alternatives

Similar projects and alternatives to ferros-sabrelite-toy-system

  • ferros

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

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better ferros-sabrelite-toy-system alternative or higher similarity.

ferros-sabrelite-toy-system reviews and mentions

Posts with mentions or reviews of ferros-sabrelite-toy-system. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-02-12.
  • My Fear of Commitment to the First CPU Core
    2 projects | news.ycombinator.com | 12 Feb 2023
    That might be less of a challenge than you think. One of our engineers added a nice little KV store via TickV (https://github.com/jonlamb-gh/ferros-sabrelite-toy-system) to be able to do persistent storage in a useful way on a per application basis.

    Our current plan, whenever we can get to it, is to implement a SQLite VFS layer (they did a really nice job abstracting away the database from the storage) to be able to host SQLite in a FerrOS task so that your local filesystem is a SQLite database.

    Just email me ([email protected]) or post some issues on GH if you want to connect with folks who work on FerrOS. Heck, depending on what happens with some of our SBIRs we'll probably end up hiring a couple people to work on it full-time to do the stuff I mentioned.

Stats

Basic ferros-sabrelite-toy-system repo stats
1
3
10.0
over 2 years ago

The primary programming language of ferros-sabrelite-toy-system is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com