Hi,

This works much better now !
I have been able to correctly boot and log into the system on both machines.
However, on some occasions, the login process doesn't start (the logind service times out), so the boot ends with a blinking cursor on a black screen.
Of course, there still are the warnings caused by the devtmpfs.

Also, how to properly reply to a message on the mailing list ? I tried to use the Reply button but that doesn't help.

Hello again,

I just pushed some more fixes to 6.18 git. This one should fix the NULL
deref:
commit f78b2c59e54a86b17127523e5a8a22a6e80beaea
     aci_data_structures: check for non-null device_p before using it
for FD cache

The warning traces are harmless, but I will soon look into them again.
Some kernel file systems do not get registered in RSBAC correctly, this
should be located and fixed.

Your help is appreciated. :)

Amon.