This website requires JavaScript.
Explore
Help
Sign In
ehmry
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
1,805
Commits
8
Branches
38
Tags
41
MiB
0771a8e9cf
Commit Graph
2 Commits
Author
SHA1
Message
Date
Martin Stein
d86bf3db64
hw: destruct protection domains
...
ref
#589
2013-09-26 16:09:55 +02:00
Martin Stein
1843f10c62
hw: PD in extra header with asserts reviewed
...
ref
#528
2013-09-26 15:58:04 +02:00