-
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.
seL4 foundation members[0] are using it.
There's Genode[1], which supports it among other kernels, offering a fancy desktop environment.
However, efforts like this driver framework do help. There's also Makatea[2], an effort to implement a stronger Qubes-like system based on seL4.
0. https://sel4.systems/Foundation/Membership/
1. https://genode.org/
2. https://trustworthy.systems/projects/makatea/
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.