Learning about the miracle of boot

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

pantonshire 5dad1faa66 write second stage to its own partition		2 years ago
boot0.s	remove proof, perhaps we can put it elsewhere later	2 years ago
boot1.s	clean up dummy stage 2 a bit	2 years ago
justfile	write second stage to its own partition	2 years ago
resources.md	update resources	2 years ago