diff options
| -rw-r--r-- | src/pc80/Config.lb | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/pc80/Config.lb b/src/pc80/Config.lb index 650cabdbbd..c946f8b036 100644 --- a/src/pc80/Config.lb +++ b/src/pc80/Config.lb @@ -18,6 +18,13 @@ dir vga object keyboard.o -if CONFIG_USE_INIT - initobject serial.o +if CONFIG_CONSOLE_SERIAL8250 + if CONFIG_USE_INIT + # We should check whether we're on x86, but our + # config tool has a problem with that. So we check + # for a flag that is only used when we want this symbol: + if USE_DCACHE_RAM + initobject serial.o + end + end end |