From ad6c108dfc0b100d015e41c37e2b5d3f37c5349e Mon Sep 17 00:00:00 2001 From: Lephe Date: Wed, 28 Oct 2020 10:01:55 +0100 Subject: [PATCH] kernel: always pull the INTC driver Some very trivial applications might not require its symbols explicitly, thus the need to force a dependency (otherwise OS interrupts such as the KEYSC are not disabled and crash the handler very quickly). --- src/kernel/kernel.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/kernel/kernel.c b/src/kernel/kernel.c index f8c4877..14f9b7b 100644 --- a/src/kernel/kernel.c +++ b/src/kernel/kernel.c @@ -16,6 +16,10 @@ static void kinit_cpu(void); +/* Forcefully pull in the INTC driver which gint cannot run without */ +extern gint_driver_t drv_intc; +GUNUSED gint_driver_t *gint_required_intc = &drv_intc; + //--- // Context for the CPU and registers not directly managed by a driver //---