base-dbg.txz	eca284f551154b8aa8ece43b9f1c21e66e4963663d8225c93ba9dee939560fa4	976	base_dbg	"Base system (Debugging)"	off
base.txz	224e11ca094af39c6eee924711cfa050ab77084e2ebeeda507a3ce04842793c8	26447	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	48e6bb3078a01ebac742a3aff340fbf31cbb301cf973b9bb0913f23e608ba5ca	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	5c6ec54fb528b13ace896f6fa5931067aa92d2beda491d4d11ab791c4849fe3e	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	6022f3ed1926293481638f3772fa0ba1989f438994672b309477afdf1e253ab9	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	e08694dfb37d4a18f357f19fbb92193b18bbf964fc8ca9c47c35dafe838f1923	584	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	7285e8940888bd24f8dc399bb00c99f4a943d10a7ba2c681f52eb62775081cbd	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	ccec00802cf7185cb8121c66905fffeae704d287d9e037d7cac03b9fc02c9b29	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	b8c8bc7fa2ef4cff427a5862587a12828e40654722428a77453afb79fdfb0383	5548	tests	"Test suite"	off
