Minor adjustments for Tomoyo for the fourth benchmark
[iot2.git] / README.md