Shaare your links...
2353 links
interesting links Home Login RSS Feed ATOM Feed Tag cloud Picture wall Daily
Links per page: 20 50 100
page 1 / 1
2 results for tags microkernel x
  • Trustworthy Systems
    We use rigorous formal methods to develop trustworthy software systems—systems that come with provable security, safety and reliability guarantees.
    Wed Jan 19 17:11:13 2022 - permalink -
    - https://trustworthy.systems/about/
    computer L4 microkernel operating-system security
  • microkerneldude | Random rants and pontifications by Gernot Heiser
    Blog of Gernot Heiser, one of the developers of the seL4 verified microkernel.
    Wed Jan 19 17:09:12 2022 - permalink -
    - https://microkerneldude.org/
    blog L4 microkernel operating-system
Links per page: 20 50 100
page 1 / 1
Shaarli 0.0.41 beta - The personal, minimalist, super-fast, no-database delicious clone. By sebsauvage.net. Theme by idleman.fr.