fix for the "alternate device mode" that was failing to re-read the configuration...
tree1ec38d0cd885cfd79971ba4f85c62ea2f28e1440
-rw-r--r-- 100 .hgignore
-rw-r--r-- 3943 CHANGELOG
-rw-r--r-- 1104 CREDITS
-rw-r--r-- 46546 DETAILED_CHANGELOG
-rw-r--r-- 10460 LICENSE
-rw-r--r-- 14369 Makefile
-rw-r--r-- 2695 README
drwxr-xr-x - ee_core
drwxr-xr-x - elfldr
drwxr-xr-x - gfx
drwxr-xr-x - include
drwxr-xr-x - kpatch_10K
drwxr-xr-x - labs
drwxr-xr-x - lng
drwxr-xr-x - modules
drwxr-xr-x - pc
drwxr-xr-x - scripts
drwxr-xr-x - src
drwxr-xr-x - thirdparty