add get_option to libpayload, so coreboot cmos options can be queried.
[coreboot.git] / payloads / libpayload / drivers /
drwxr-xr-x   ..
-rw-r--r-- 2150 Makefile.inc
-rw-r--r-- 4338 keyboard.c
-rw-r--r-- 4433 nvram.c
-rw-r--r-- 3436 options.c
-rw-r--r-- 2978 pci.c
-rw-r--r-- 3373 serial.c
-rw-r--r-- 3555 speaker.c
drwxr-xr-x - video