kernel: capabilities: wrap check_caps_create_arguments() in #ifndef NDEBUG because...
[barrelfish] / schemas /
2017-06-20 Adam Turowskischemas: converting 'right single quotation mark' to...
2017-05-05 Reto Achermannschema/acpi: making the MADT schema definition compile...
2017-05-05 Reto Achermannskate: adding ACPI MADt schema
2017-05-05 Reto Achermannmoving lib/machinemodel to schemas directory