Fix technexion tim5690 build failure - REALMODE option required for x86.c mainboard...
[coreboot.git] / util / optionlist /
drwxr-xr-x   ..
-rw-r--r-- 1048 Makefile
-rw-r--r-- 1639 Options-wiki.xsl
-rw-r--r-- 2297 Options.xsl
-rw-r--r-- 1445 README
-rwxr-xr-x 3920 mkOptionList.py