base-dbg.txz	0db28f04f8e42682f31055fcc8b03f2b8b3015c2d016f2b115c8ad4493abf046	983	base_dbg	"Base system (Debugging)"	off
base.txz	b775aaec074118256135dfc38ae04df2f084545f06fad3dfb5fcb33c990dc365	28081	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	d20f4fc7771c8366e9f579ea94fcb3cb8b7bac0fcd6ed473ddcd1999896f43ab	586	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	f028db6c5bde32249b863216c8ec1438dad29950131ad02ccd2036c4469ed9a6	586	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	2f97a8a59fd595b9805ee6c226fb6b6d0e89add31b4950488a6b0e32d6c576a8	589	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	7b920e9680a5018defb2d73e634f7241a0706311c1f2d88e07802606b2c12bd6	589	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	caadad5ca76d4d3e4b4b06f6b9485adf852dcfefebd9875f9fc27482d7134e8f	218	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	7ab15ac509461b02030241acab50621a328ed0915d9d37d4c3ce8063b44a5b64	637	lib64c	"CheriABI compatibility libraries"	on
tests.txz	c47124187bdcdd2a7b3925ee3e98af2e4e247192d7c7382f4baf6fd0a6073908	5570	tests	"Test suite"	off