chiark / gitweb /
selinux: relabel /dev after loading policy