base-dbg.txz	cc0bee88d207c9b01fcdd683e86d3cd907d8943ea2e5f19f7335926c6af701b8	1014	base_dbg	"Base system (Debugging)"	off
base.txz	c37ff747dd51f3ed98e62227b2869868c42a53186d2c93b7dffdadefd8b8fbe8	26136	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	7bee6714e6031b694310000efd985f0c33e4244c029aa5638b3da948fbbb7ad2	581	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	2ab8be50f6b0780dbded480d6e7dcf0ca5b2e50a31603fccd59dff7809a92526	581	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	9b96297dc7e53ef64878e5e8417c97e5d03fdddd91f3f3031aa866690f4ca765	584	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	48e900c32a5bab3f9dedca56b60fdcd390c8d27f3e967083d4c36453730eff58	584	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	4bd230b72fa20f966d37de0be386b52aa7aa762970852d88131b0c993d1a1eed	230	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	26ef1fb96823263f3bf4bcbd707d505bc91dbd6b2eae0a4b0a66fa5cfd29db87	692	lib64	"64-bit compatibility libraries"	on
tests.txz	a7ee3e90fb7183cc8100c8835f4d6ba08a97ea33e1c219f6c41673901b6d8b0a	7025	tests	"Test suite"	off