Handle IRQs inside the kernel

aux/compiledb.sh

@@ -3,7 +3,7 @@
 set -x
 
 make -B all_compiledb_kernel
-make -B all_compiledb_liballoc
+make -B all_compiledb_libmalloc
 make -B all_compiledb_libsystem
 make -B all_compiledb_libprocess
 make -B all_compiledb_libterminal

aux/devel.sh

@@ -11,7 +11,7 @@ fi
 make -B all_lz4
 make -B all_kernel        "$bt"
 make -B all_libsystem     "$bt"
-make -B all_liballoc      "$bt"
+make -B all_libmalloc     "$bt"
 make -B all_libprocess    "$bt"
 make -B all_libterminal   "$bt"
 make -B all_libstring     "$bt"

aux/docs.sh

@@ -4,7 +4,7 @@ set -x
 
 ./aux/compiledb.sh
 
-make -B docs_liballoc
+make -B docs_libmalloc
 make -B docs_libsystem
 make -B docs_libprocess
 make -B docs_libstring

aux/format.sh

@@ -6,7 +6,7 @@ make -B format_kernel
 make -B format_libsystem
 make -B format_libterminal
 make -B format_libprocess
-make -B format_liballoc
+make -B format_libmalloc
 make -B format_libstring
 make -B format_libkb
 make -B format_libaux