Dear TI,
I have a problem with DeviceTree Source.
I add selinux in kernel.
Bootargs are set in the dts/ti/k3-j7200-common-proc-board.dts file, "security=selinux" is added.
After startup, there is no "security=selinux" in the Kernel command line. selinux is not enabled.