search

dckc / awesome-ocap

Awesome Object Capabilities and Capability Security
The Unlicense
342 stars 25 forks source link

genode sculpt for the curious #2

Closed dckc closed 5 years ago

dckc commented 6 years ago

works great!

IOU experience report / blog item

dckc commented 6 years ago

see also monte on genode... via golang? (see golang branch of mtpony repo)

or perhaps via nim?

dckc commented 6 years ago

also feL4, i.e. rust on seL4 (via reddit rust)

dckc commented 6 years ago

next episode in sculpt: apt style wish for packages

and why can't genode / nix / guix get along?

dckc commented 5 years ago

fixed in e530ed7, leaving aside fel4