boot/contents.iso sha256=ba8ea67f4a891db5e953e822ecf41c7b6fd39a87ecc95a0811d248b30fbd37ee
boot/kernel sha256=501b03fcd004e7d778a567baa07b70de29489edbc146181e6b7bd3bcbe48d03a
