Peter Robinson 89207621e9 IMA: change default hash from sha1 to sha256, the later is more secuure and hence should be the default		2019-07-17 11:10:24 +01:00
..
fedora	IMA: change default hash from sha1 to sha256, the later is more secuure and hence should be the default	2019-07-17 11:10:24 +01:00
build_configs.sh
config_generation
merge.pl
process_configs.sh