Chris Stevens 09de0e09b4 Added support for the ARM Generic Timer. %!s(int64=8) %!d(string=hai) anos
..
acpitabs.h 09de0e09b4 Added support for the ARM Generic Timer. %!s(int64=8) %!d(string=hai) anos
smbios.h b1c7ebf6ec Moved firmware headers into include/minoca/fw. %!s(int64=8) %!d(string=hai) anos