[   47.415089] Running test [R:13322641 T:7 - selinux-policy: serge-testsuite - Kernel: 6.1.9-200.fc37.aarch64]