Juan RP 118434a626 kernel: (x86_64) enable EFI stuff.		2012-07-05 15:40:12 +02:00
..
i386-dotconfig	kernel: build ipv6/autofs4 as kernel builtins (for systemd), enable x32 abi for x86_64.	2012-06-17 09:50:11 +02:00
x86_64-dotconfig	kernel: (x86_64) enable EFI stuff.	2012-07-05 15:40:12 +02:00