/config/kernel/ gcc-4.4
drwxr-xr-x [up]
-rw-r--r-- 2009-06-14 22:56 +0200 418 bare-metal.in
-rw-r--r-- 2009-06-14 22:56 +0200 5776 linux.in