base-dbg.txz	70fb733a02be3511877a69a454b13637a8897c6366165a16f6723812188efebf	978	base_dbg	"Base system (Debugging)"	off
base.txz	8755e46cffb186893db08370d26d06f1f07c253c4fd8c1a863f43a0af86d0863	26341	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	a7dcf04782a9703cf5bc8a3b887dc37ccac1d541ad6de8afb790db4a8f321565	585	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	7be147c46406f373efddfb74608ce6938c4c467a790cfb5a530f7e7ae75af66b	585	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	0b9eb8327f3439d7212cabafa0e3201d520ce0814f72b68e12d6a8d85282b0a9	588	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	f455875fc3dfefcfc3dce5462a6edf86951df915c15faf562d6f2574d2f68205	588	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	da7cf3f1f5b64ff58d205c0764237e1f8e2366256d46653b55800f2ca274cac2	214	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	070be41289e292352496c4ef9a7351dbd773783353a065d7aaf418e090e0d3e0	632	lib64c	"CheriABI compatibility libraries"	on
tests.txz	19bcf0b484f0bb2e34e05507f560e9a29fc55ee64a4edda56b8dc731a312c6f3	5457	tests	"Test suite"	off