ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 14:13:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
13,577 Commits 2 Branches 70 Tags 87 MiB
686c5ac007
Commit Graph

5 Commits

Author SHA1 Message Date
Norman Feske
1314bd3b2a sel4: notes about virtual memory management 2015-05-26 09:39:56 +02:00
Norman Feske
37c266327f sel4: capability overmap test 2015-05-26 09:39:56 +02:00
Norman Feske
418f2ab119 sel4: testing the unwrapping of capabilities 2015-05-26 09:39:55 +02:00
Norman Feske
33c2bc3bf2 sel4: capability delegation test 2015-05-26 09:39:55 +02:00
Norman Feske
1fdf36efed sel4: IPC between two threads 2015-05-26 09:39:55 +02:00