base-dbg.txz	5c7d908e32a59e858307d5ee63281cd69ddc14ed484f189a1248970215a99b50	1016	base_dbg	"Base system (Debugging)"	off
base.txz	17a1b11febfdedc154e13d7b39b86f474ceca865b5d525cd2cd2f820f098a65d	26036	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	cc2cd946ac817b2633ec9ad628c23fb74543e23a4daf04c77a02e2e44441a8de	585	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	2729b8ffbbc13d6f0bce0417b4eef392867e0da55cb8e9f337b5318bdad60a58	585	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	6da2ae5535ec3afcba483092b552a1a19aeb477387fd0c79a9e0879755a9c1e4	588	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	96f36e8bab16f8e4964bbf657467f423c72de2112292a4fdac942705954df28f	588	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	c926493548e07cc62572df8aad7413d2f4846d368be1550dd239f4b6fa924404	231	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	d1e96914f1ab39dad1746989d625edff62f682f0b07ab57d5272c866d259fa5a	712	lib64	"64-bit compatibility libraries"	on
tests.txz	a4d944dfefcbd66e63472f45afb7e3e368a5ef2f0cf6687eeadd18ea744dd1b8	6933	tests	"Test suite"	off
