COCONUT-SVSM Development Release v2025.10-devel

Jörg Rödel <[email protected]> Tue, 28 Oct 2025 08:55:16 +0100

Newsgroups	dev.linux.lists.coconut-svsm,dev.linux.lists.linux-coco
Message-ID	<oeowmogxww47eoa6x6uxdjgqeqndkh2plsgtgo6jovptfjc7br@ueqpwevwgmfg>

Hi,

I am pleased to announce that the October 2025 development release of the
COCONUT-SVSM is out. The most prominent changes since September are
improvements in kernel stack usage and support for MMIO on non-confidential
platforms.

There is also one known regression: The formal verification is not working in
this release, issue is created.

Have fun!

Regards,

	Joerg