summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/pc80/Config.lb11
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