Statically link against libgcc for now, because of __udivdi3 and __umoddi3

diff --git a/kernel/Makefile b/kernel/Makefile
index 40b959ce49f838e69dc856fdf9a508161f41f323..3367319591c54b6759809d4d429b49f4f5d8ac1b 100644 (file)
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -13,8 +13,9 @@ all: $(OUTPUT)
 $(DEPS):
        $(MAKE) -C $@ $(MAKECMDGOALS)
 
+# FIXME: Remove dependency on libgcc
 $(OUTPUT): $(DEPS)
-       ld -o $@ -T linker.ld $(LDFLAGS) $(OBJECTS)
+       ld -o $@ -T linker.ld $(LDFLAGS) $(OBJECTS) /usr/lib/gcc/i686-linux-gnu/8/libgcc.a
 
 clean: $(DEPS)
        rm -f $(OUTPUT)