Define 16bit OFFSET_x to be 32bit addresses; introduce CONFIG_BIOS_ADDR.
[seabios.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 2365 buildrom.py
-rwxr-xr-x 4414 checkstack.py
-rwxr-xr-x 1496 defsyms.py