base-dbg.txz	4a8d832568f322987c498787c751b7fa4beae5336736646c0f37496dff13af90	978	base_dbg	"Base system (Debugging)"	off
base.txz	5ead47062ba0ff6bc5ba97b8635fe6365e8b5a8a76fe167e1ffba0ff205f7f7c	26341	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	92da4e95249c7caa9b64cd0e26eddaf04e87076cfa045746191816546695c9c9	585	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	b21a19ca1471f54308e8a6412a0891ff6e28e1b21105436043f62a473d6ff4bb	585	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	27aeb568c34f55f2316adc2e544bf26aef0e28bd3d6141c6f0e49d4d9f1f7db7	588	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	81e766dc22854af6c3a0343ec3c0bb2912751bd643bd2ac59cbc6b9ed461b537	588	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	80e4397a8fbf541b695645e11abdc2cc2e91aee72229703daecd3eca8119607c	214	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	7c01c019e449da0d75a79285e80f8587a7a005df7c53b7ff8790ae59bf0da6c3	632	lib64c	"CheriABI compatibility libraries"	on
tests.txz	6b4095e605bca373070893866c009a9fb682b46b9891e0229f785c3d5efe8939	5457	tests	"Test suite"	off