base-dbg.txz	7405623b3f1708f3f2d54844176dc7ef6cdbf15c165c55f737d2187c6f251575	1021	base_dbg	"Base system (Debugging)"	off
base.txz	7619876ea642b70aabdfb2309eb26cd697896883d83b07c83810078fb5fb1922	27757	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	ccf7592fd47e8e14e08bcf787a2e749103e27972f12513fd05549bda8ccd023c	587	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	c8f7ef695427521d637bb46e9e1bd4fd369cd2d9e5f3a342d9e57700733cb755	587	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	fbc459bcc1f60acf3430206d760fd4689be814e0ab2c2765ffbbd04a79d80d71	590	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	944f161b863d99296a17665d5dbb88b3bcad1cd1bef2b4e7d6151e9507a8d91a	590	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	230d61c84384ba9fbf3552046dda7169cbd5a504b448fed062d7e5ac9fb69647	235	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	a95ab39192ae9c226b48f597dea0e2f850b9415a7597d4cad1e992b5e9e3c5b0	700	lib64	"64-bit compatibility libraries"	on
tests.txz	dae92d558d782b801c4042770c23071aa26118a6cb0e0cb35c8e745ba39b0f3a	7018	tests	"Test suite"	off