Mmastodon TechnologyCybersecurity first seen 11 h ago, last 11 h ago, peak #10

seL4 hypervisor can run full guest operating systems including Windows 11

Original: "seL4 supports virtual machines that can run a fully fledged guest OS such as Linux. Subject to seL4’s enforcement of co

The seL4 microkernel supports virtual machines capable of running fully fledged guest operating systems such as Linux, with communication between guests and native applications governed by seL4's enforcement of communication channels. Discussion notes it can apparently even host Windows 11, highlighting the kernel's flexibility as a verified, security-focused hypervisor foundation for mixed operating system workloads.

Why now: Interest in seL4's formally verified security model being able to run mainstream guest OSes including Windows 11.

seL4LinuxWindows 11

Open on mastodon →

Evidence

• "seL4 supports virtual machines that can run a fully fledged guest OS such as Linux. Subject to seL4’s enforcement of communication channels, guests and their applications can communicate with each other as well as with native applications." It can even host win 11 seemingly. #… · silentexception · 1

API: https://socialmediatrends-api.osmike.com/v1/trends/2858104