Shaare your links...
2261 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 capability x
  • Coyotos Secure Operating System
    Another successor to EROS, a capability-based operating system. Attempts to use formal verification.
    Thu Oct 19 19:29:36 2006 - permalink -
    - http://www.coyotos.org/index.html
    capability mathematics operating-system security
  • The CapROS Operating System
    A capability-based operating system, one of the successors of EROS (CoyoteOS seems to be another one).
    According to https://sourceforge.net/p/capros/mailman/capros-devel/?viewmonth=202201 the author plans to port it ti the Raspberry pi.
    Thu Oct 19 19:21:54 2006 - permalink -
    - http://www.capros.org/
    capability operating-system pi raspberry security π
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.