base-dbg.txz	514bf30f150160bdc7b2adc6a62e2a569daaf752cbe91a60bc5e05d6be15ae8b	1016	base_dbg	"Base system (Debugging)"	off
base.txz	20a126bb058a750e82a22447e392b367a581c9955d23b7ac74e4e63b42fdeca8	26036	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	8ecd94398a93e744a1ce68fddb265a07122b98e5202f3dae426c4c7d66373fe5	585	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	626f422ef275f081f2002d102ece2ffcc7f7da0853a2888e1211dbf2941b2bcf	585	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	0c068d8903f3d94e16891ceb0a45b037a4a1ae2a28855bd0dae4f4cba69335ab	588	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	1b27f9a885dcec8e43a39bebd6a9c1967921900aa347c38c58d6e106456e9340	588	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	7fcef1859dc1272029592b3dba6bdac241de2e097351e14a9900a2098f54e8e5	231	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	a6c5956d8bf1fab4f3cd2b7220381fb2557ffb6cea9863f130e354268f02ff22	712	lib64	"64-bit compatibility libraries"	on
tests.txz	68e65a004d8e4c3d4449b07dbf1f54e3f63ee2478133d2b66786580edd1a69a1	6933	tests	"Test suite"	off