Changes in kernel/genarch/src/mm/asid_fifo.c [4f3aa76:6404aca] 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