author | Gerd Zellweger <mail@gerdzellweger.com> | |
Wed, 18 Dec 2013 08:38:05 +0000 (09:38 +0100) | ||
committer | Gerd Zellweger <mail@gerdzellweger.com> | |
Tue, 14 Oct 2014 06:47:40 +0000 (08:47 +0200) | ||
commit | efa1fb4192ce550be3be0c4dd3fce9b5667b17b7 | |
tree | 605a9b570de2eb6d28480daed2069b2a61caecc1 | tree | snapshot |
parent | 76bfbbc7e36fc4fe89c0f9bbccb90d9d7d3bde8c | commit | diff |
capabilities/caps.hl | diff | blob | history | |
include/barrelfish_kpi/capabilities.h | diff | blob | history | |
usr/drivers/cpuboot/x86boot.c | diff | blob | history |