Public search query: C kernel keeps dying: crash when allocating beyond available RAM