base-dbg.txz	430699ac1cbe78a03d6677923b88be8a42a56e0d8e4cf7d8794965be60d37adc	1014	base_dbg	"Base system (Debugging)"	off
base.txz	a172d0ce31e8eeec7760c4a91868bd83f02efbaa560434dfc1045d3a4bf8cfbe	26146	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	ae9c7bb0d4bfa6cbd7f93d0eda750a31e5d1e2015a447000baf8963b309328e3	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	21cb203db1bae616355243b840887df70e56702dfbe35e514555dc729ea89450	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	7fe3cd67dcd31fb95709d4e04781a18d5bc0baaef6d88b3c8c84a01cb59132c7	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	1aac6270629372b74d8a048ddb5e8c3db3cfa7213e25ad985b49ed8afdde430c	584	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	cd5d1c61302b7b6019ab528e116a6346d1c8557da084111159d156a1540d528f	230	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	4bc0823cd90382257751ec9fb7aa3d50a450f588ee7a4362114f39481035d9f7	692	lib64	"64-bit compatibility libraries"	on
tests.txz	04ba229f57ab98270aafd0bbe60de28f76da1270abe6543357664a52afa8ff80	7046	tests	"Test suite"	off