Scripts to compile raspberrypi's kernel with SELinux capability. The script is based on the official kernel building doc https://www.raspberrypi.org/documentation/linux/kernel/building.md.
For Pi 1, Pi 0, Pi 0 W, only ! (WIP)
- Install on your raspberry: selinux-basics selinux-policy-default
- Docker (to run the arm cross compile from debian)
- or a Debian system (./run.sh)
sudo ./docker_build.sh
Or from debian OS
./run.sh
Finally, the compiled files are available from
[seraspbian]$ ls ./linux/data/
boot lib
You may need to configure the local directory to allow docker to mount the build directory
sudo semanage fcontext --add "$(pwd)(/.*)?" --type container_file_t
sudo restorecon -Rv "$(pwd)"