linux/arch/x86/platform
..
ce4100
efi
geode
iris
mrst
olpc
scx200
sfi
uv
visws
Makefile