base-dbg.txz	50666c669dbc80b1bd19f470550f332b814a20ade0282c5093ac1c711f31969b	976	base_dbg	"Base system (Debugging)"	off
base.txz	d83b2d7ef162840e5679ef0e2e64ae259c2cddbd4d219ff2e0d7aaf3a6d89dc3	26454	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	7a4bbbd1a2e5e1d704c8b24ed3684e3706b9b852ee15c126d13271ef0f294651	580	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	f312c72568870b3b8627816a056100795ffae163cbf69b3674d84f2189c71ad5	580	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	3995e1b7e59467be4c5557f75ca7ac36eb2e6be4600836974d1d8536a9c1fbdb	583	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	2c231362a407706a8fc4e10ac7413627175a2abb7ba6cf7b30b4db71b2c9ca90	583	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	3709367e83776a48d4dee18831617971a7a651c517a2cefc84f1939c7f3b3bc9	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	6934d7d96c519412ff0785070b7b5e2fa551e64842c2668b72adf5fabc4bbf2b	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	3724946f922aa86e5447151886a4ca3ec4aa2cf5e3f95e0c27d574a7f5d417aa	5502	tests	"Test suite"	off
