base-dbg.txz	b59e7ae2b0ee697b6d6994805f24a5d203e6ed1c1297313cc89c5b6e0e685573	1023	base_dbg	"Base system (Debugging)"	off
base.txz	ac09722e4533e7219ca2303f84d3fb967373377f6077b0c150a1f779ec82f2d6	25869	base	"Base system (MANDATORY)"	on
kernel-dbg.txz	6c208fa1762ffc1755dccfb331ccd17c4407463e18edfde886cafd412fb4b63d	584	kernel_dbg	"Kernel (Debugging)"	on
kernel.CHERI-CAPREVOKE-QEMU-dbg.txz	83bdfcdb94f595ba525eb869997187e9898d4201cd3c7655a19da71e7d59c125	0	kernel_CHERI_CAPREVOKE_QEMU_dbg	"Alternate Kernel (Debugging): CHERI-CAPREVOKE-QEMU"	off
kernel.CHERI-CAPREVOKE-QEMU.txz	98477f8a227e33383995326fddc1e8eac28554ae855d4414405f2762501a1883	587	kernel_CHERI_CAPREVOKE_QEMU	"Alternate Kernel: CHERI-CAPREVOKE-QEMU"	off
kernel.txz	65665f017bbc03ce987afffad5540ecb891fd36b519564083c7bfdc4b99d50ba	587	kernel	"Kernel (MANDATORY)"	on
lib64-dbg.txz	495c38bfe4b9264f0d239054d4095d912cda13d62158b0c05702c0f538534b4b	234	lib64_dbg	"64-bit compatibility libraries (Debugging)"	off
lib64.txz	cc56f8fad5243455b56fa3d0fcc3eb70d004bb1320884b6ac8e53f7869ada1bd	718	lib64	"64-bit compatibility libraries"	on
tests.txz	cae221222940cba09a37f84f0a2cd282b01cfbc9a5b1b53e509029cb9b6b954d	6902	tests	"Test suite"	off
