base-dbg.txz	a391416ba5824506f947f9243095e734578adffbdd2bed267ad7df82691ce86e	976	base_dbg	"Base system (Debugging)"	off
base.txz	e752e2bfa188e5c1b6572c0647b6144d82daf8d528b934c7f57073dd77f6a01f	26457	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	ee65f410f0aedf9da292dc7586d5d897ae8c4d245873af7f3f1b61448ba18482	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	abb3d85f5ce4ba87b9392a6158e44e2ee60ae50a547c37c9d202ee8d1f4fe58d	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	01f56411402f66c693078e2c5c2524801c0cc6ce9b552b2079c3307b92528af7	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	2bee7ad6943d56901930b489f0364f0cff4ea37c4039996d966131d827865f0a	584	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	68afa2b7c847c67f63251bc6c1647ed1ea4ba318c4f763c2c744eabc8b602d28	213	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	479e521b7fef0aee38fff2ab57f2c045adbbeaf76cb2f49b28045becd8879a12	629	lib64c	"CheriABI compatibility libraries"	on
tests.txz	15e757265e76778917c87e8bd581e0a9253f2c29863c2571bd45039fc2f2e8e3	5569	tests	"Test suite"	off