base-dbg.txz	5cf416ecef4186a45853e5c6895aad4a6819891d620884d25999f14723a2bcef	1016	base_dbg	"Base system (Debugging)"	off
base.txz	2b28bba24c85873cfcc7ef703fc67575da6e4e6ea96c4ac332bffafe41a62017	26110	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	e043c3ed96408e6549a8aced832fd246afcbebd0b82369056eaa817e903b3374	582	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	9ed8e782220551abffc21ff5ddb803d5eaada03a998f74be4ac31d4cff731477	582	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	72f2ebd10a4be004539cc44cddba227c95c1f754213acf8bdc01c9cf2b188eac	585	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	1a7cf27793c6c8ad0286a8c0690995c63897ea0f379b2990929a213ab517ef03	585	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	26eb3a515ac087da2c03ecca61686ac93e36a3ea5ae221b39ae88e93fbc4d10b	231	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	25da6c11225b876ac56c17587083a39a2be04dbd271907d23236a8f0cfb10863	695	lib64	"64-bit compatibility libraries"	on
tests.txz	74c4f64a098d09dedd6ea19cc27b7335d9de5c8f57e51c3d5066757111ed1035	6992	tests	"Test suite"	off