base-dbg.txz	4442af96dab0a30f83581e31e0eb9132977fbd3a114b1d504d73b5edc4441788	1014	base_dbg	"Base system (Debugging)"	off
base.txz	7b3569797ebe9e4b3312b1a24f0f4a776cea16f1ee30d4819d211c843355f7c7	26146	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	ea063e09122e13d82c37fbbd91300a63d26f52e7d51b8f35ffacbac3c26c07ef	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	85a8418fb451566a9ef1fe78cb6502188ac187cbb2b19ce91aeed93b3533e0fb	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	166c7e99d145a0d103068c7e1a13dd136ce934ce2812193a52ea146efba8d724	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	16deb2e18bec17d4bd7d34f2b6a5133227cf04d09ead747b4d52eab18c7803e9	584	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	f0936f3413298b1bc0386eb4c65a97ef65a8124ed8078b88d2220a474bd9670d	230	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	903c34a52b68ca6a66cbed8da614040c4ab2d7b92037513e6276f68a1aa44d14	692	lib64	"64-bit compatibility libraries"	on
tests.txz	df698e0c511500cae895ec65a2e836fbca47cb08237da4320f4a16b001fc210b	7046	tests	"Test suite"	off