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	Drop PPC64 (Big Endian) configs	2018-08-15 21:29:12 +01:00
config_generation	configs: only visit generic/powerpc once	2019-05-01 13:58:11 +00:00
merge.pl	Change method of configuration generation	2016-12-06 12:07:10 -08:00
process_configs.sh	configs: correctly terminate loop	2019-05-06 10:26:25 -04:00