Stub out FILE*, stdout/stdin/stderr and implement fprintf on these
[coreboot.git] / payloads / coreinfo / util /
drwxr-xr-x   ..
drwxr-xr-x - kconfig