base-dbg.txz	1fd8d3f3f42cbbf4af0e71d4e4b8b669704d1ca9e92fffe4557d727581d7e829	977	base_dbg	"Base system (Debugging)"	off
base.txz	332c0ce5aad838751725bbdc182551a50910a10383efc5d2e1bbeae9be63e9b4	26417	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	5e0f28cb5cd9c7f2261c77aca3d618426f87514d797fdd99d857f37b7b675261	576	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	2a77efb49ab555c3c76104ee1c6b9ddebe37aa6055ff3600a185d9cbf0708bf8	576	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	fc4af8eb8e4e2841b2c3b18250006d01c0422711d3b77406c37f212229cc390c	579	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	ce8e6aa84efdf0afac1d3a2792462772dbea50f595fdc6ca69f95b4fdccc5954	579	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	a37bd1008f6025b686801dd5ef2596a2abb023cb80a48eda0cf823eaa93cf676	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	eafb6b48b9066e6b97fe96c119df8c8c77bd3846af8ddb7408ed658a0e1c8d1a	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	67eef9c9a0c170e76da184a12d126df16420d2cca172e863e5ac8a5eadc40e31	5539	tests	"Test suite"	off