lael-labs
/
linux
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
linux
/
arch
/
x86
/
platform
MG
Matthew Garrett
x86, efi: Don't use (U)EFI time services on 32 bit
04bf9ba
12 years ago
History
Name
Last commit message
Last commit date
..
ce4100
efi
geode
goldfish
intel-mid
iris
olpc
scx200
sfi
ts5500
uv
visws
Makefile