Hannes Mehnert d143e9b766 as suggested by @reynir: verify -> verify_sha256		2022-10-28 14:58:58 +02:00
..
bad.ml	solo5-elftool fixed now	2022-09-28 10:41:46 +02:00
config.ml	as suggested by @reynir: verify -> verify_sha256	2022-10-28 14:58:58 +02:00
unikernel.ml	as suggested by @reynir: verify -> verify_sha256	2022-10-28 14:58:58 +02:00