Changes in kernel/genarch/src/mm/asid_fifo.c [6404aca:4f3aa76] in mainline

File:

• kernel/genarch/src/mm/asid_fifo.c (modified) (1 diff)

kernel/genarch/src/mm/asid_fifo.c

@@ -65 +65 @@
 #if (!FIFO_STATIC)
         fifo_create(free_asids);
+        if (!free_asids.fifo)
+                panic("Not enough memory to allocate ASID FIFO");
+        // TODO: There really is no reason not to statically allocate it
+        //       except to keep binary size low. Once kernel is a regular ELF
+        //       binary supporting .bss section (wip as of the late 2018),
+        //       the dynamic option should be removed.
 #endif