base-dbg.txz	73eb5c6a1cddb4d7c987f544cd52e2b631979ce2504361cffb92329f4c4bd92a	985	base_dbg	"Base system (Debugging)"	off
base.txz	651b5badf50f0386ea3a3c34542ff27eb8944792a7516489dec127770a030174	26173	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	ec083c766a09c6d9443716975a7d798a5a887cee524f1e31c795d09d934ff004	584	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	83bdfcdb94f595ba525eb869997187e9898d4201cd3c7655a19da71e7d59c125	0	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	ddcdb206920c59d48a95c94266cffb1e5f87f59392b7bc18a25d7b5bb82641cb	587	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	09b7c6e1c1e8c42afb73431518ca5351cbe2c19cfd1fcfb9b75d47299b73cee9	587	kernel	"Kernel (MANDATORY)"	on
lib64c-dbg.txz	3cfdb4bf0ffaee48eed208b36a97d34046925bb4cc4070fc1c866a25bc2a2b95	217	lib64c_dbg	"CheriABI compatibility libraries (Debugging)"	off
lib64c.txz	fcb222a65b7a451af55165a55fde71f1da14f29649b8366eb76c7d6dddb92dac	638	lib64c	"CheriABI compatibility libraries"	on
tests.txz	212f1c7a9c4dec69538aaa1c7079d731cc261ae4ec0a2f569822a4aa35915076	5426	tests	"Test suite"	off