update

[l4.git] / kernel / fiasco / src / kern / ia32 / kmem_alloc-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp b/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp
index 657ee62e2fe313256475cdeb1868aecf92e71c06..637b031b1e6a7d30329b89c0d6144b5b2b269b4e 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/kmem_alloc-ia32.cpp
@@ -1,3 +1,7 @@
+// base_init() puts those Mem_region_map's on the stack which is slightly
+// larger than our warning limit, it's init code only, so it's ok
+#pragma GCC diagnostic ignored "-Wframe-larger-than="
+
 IMPLEMENTATION [ia32,ux,amd64]:
 
 #include <cstdio>