Make linux optional as all other configs.
[syslinux-debian/hramrach.git] / bios / core / 
tree5e23016c1302126f383bbf8eb401770adef605d7
drwxr-xr-x   ..
-rw-r--r-- 43008 isolinux-debug.bin
-rw-r--r-- 43008 isolinux.bin
-rw-r--r-- 1989 kwdhash.gen
-rw-r--r-- 66854 ldlinux.bin
-rw-r--r-- 512 ldlinux.bss
-rw-r--r-- 65830 ldlinux.sys
-rw-r--r-- 91536 lpxelinux.0
-rw-r--r-- 91536 lpxelinux.bin
-rw-r--r-- 46546 pxelinux.0
-rw-r--r-- 46546 pxelinux.bin