2 commits

Author	SHA1	Message	Date
Pietro Albini	ea8b1ffe61	pin the stage0 hashes in src/stage0.json	2021-08-26 15:29:30 +02:00
Pietro Albini	80b81adc63	switch stage0.txt to stage0.json and add a tool to generate it	2021-08-26 15:29:27 +02:00