base-dbg.txz	7b779b400c8c19802dfffcd052b6fa065460d3255ee6814e3fc968bbb3620ebf	976	base_dbg	"Base system (Debugging)"	off
base.txz	646f36cc7069dd465a13f848ee3a2b5fdac33f15ad521db5e4eed62da75e2805	26447	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	78657e689e209c4aa7aa0793c18ab96cac7957498116167861e09868ffb48045	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	865bd0d35471ae7fa689867416617fad636a03059620e8672121ddc0968937cd	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	acde89a37142c464c725c0183878b328b2c183dbb526069300af5bc29019757b	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	cd7fe6640d0997a5da015fd162c14b894e66f9cc170c4fb06af4e6747a0163d6	584	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	36cf832b140880b18c93443bebbbca2c37847f485e6f2a8fa5039c45a24dafec	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	bc1c12d910f8b7dbc9ef53c7d35e11528a729fea1591c4b85524dd5909f879de	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	0e95dfa5b90ecfd5834c7ee3dc3eaedb24f47576f6dac84b0a5e245aa8fc4085	5548	tests	"Test suite"	off