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