base-dbg.txz	a2e4da37693e43d36ba67b945a9e96707ba0a207c9bc39e83522cb528d347d32	977	base_dbg	"Base system (Debugging)"	off
base.txz	ce139dc1c278da00a3fc73185adba57908f858fee78e37c4f5c85091f47be3f8	26417	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	6f0411a066f649373a82127f48d11b9e2c62ee41166fd73372dbfbd35fbf6f05	576	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	a78d6c198b2bf45025b2c59b60c446f34496096d1d8ab14427f2eb6af8c08c0b	576	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	7f3c910648fa1b71cf28d8a30a60abbb24c065edb499c8ee5b0afb0a94321c20	579	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	92227f4feef0b8ddf0d636e78c15ceb261043dddae991cd97cfedd3b460274eb	579	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	61d376cda14959a670160ac837d9b641c0b26eba1b100c9fbffbc25411062c84	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	8cc78acd9b95ee97c0133c96f796fb660076d11c9bae691e09e67c247beca66b	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	c6daf4c8a13d360181bba4f92a5bae34deb91ddcdbc3453978883ec405fd09a4	5539	tests	"Test suite"	off