Start device_hardware_setup in mainint even with CONFIG_THREAD_OPTIONROMS.
tree6d49dfadfb6a7f89c389950db4d3feaab7d21596
-rw-r--r-- 30 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 7639 COPYING.LESSER
-rw-r--r-- 8918 Makefile
-rw-r--r-- 7500 README
-rw-r--r-- 1112 README.CSM
-rw-r--r-- 697 TODO
drwxr-xr-x - src
drwxr-xr-x - tools
drwxr-xr-x - vgasrc