i386/
kernel/
x86_64/