Hi,

With Jean-Marc Lacroix, we have been trying to enable more options than the
default ones for the RSBAC kernel configuration. However, the configuration we
have come up with does not always boot correctly depending on the machine we
install the kernel on. All machines are based on Debian 13, and the kernels were
launched in softmode, version 6.18.7.

On the first machine, a Mac Book Pro 2011 (CPU : Intel Core i5-2415M) with SysV
init and XFCE, the system comes up properly.
On the second one, a HP Z240 (CPU : Intel Xeon E3-1225) with systemd, we have
first tried the kernel on a Gnome install, where the boot ends up with a "kernel
NULL pointer dereference" and a kernel panic. On the same machine, where we
reinstalled a non graphical system, the same kernel configuration still produces
the dereference with multiple kernel oops.
On the third one, a Lenovo ThinkStation P520c (CPU : Intel Xeon W-2102) with
systemd and no desktop environment, there also is a "kernel NULL pointer
dereference" that stops the boot (and is not in the logs), but no kernel panic
is displayed.

I've appended the config file along with the boot logs.

Do you have any idea as to why these problems occur ?

Regards,

Terence Gomez