bcm: add pl011 uart driver

[plan9front.git] / sys / src / 9 / bcm / mkfile

diff --git a/sys/src/9/bcm/mkfile b/sys/src/9/bcm/mkfile
index 989eea603e5c76f311744d627b9449e15e52419b..1df5dba6c2d309ff1c8cdac4e266e5cc1da1b50d 100644 (file)
--- a/sys/src/9/bcm/mkfile
+++ b/sys/src/9/bcm/mkfile
@@ -49,6 +49,7 @@ OBJ=\
        fpi.$O\
        fpiarm.$O\
        fpimem.$O\
+       irq.$O\
        main.$O\
        mmu.$O\
        random.$O\
@@ -70,6 +71,8 @@ LIB=\
        /$objtype/lib/libmp.a\
        /$objtype/lib/libc.a\
 
+9:V: $p$CONF s$p$CONF
+
 $p$CONF:DQ:    $CONF.c $OBJ $LIB mkfile
        $CC $CFLAGS '-DKERNDATE='`{date -n} $CONF.c
        echo '# linking raw kernel'     # H6: no headers, data segment aligned