Comment by cmrx64 Comment by cmrx64 3 days ago 0 replies Copy Link View on Hacker News I guess https://github.com/seL4/l4v/tree/rt is the ongoing verification work for that