Comment by cmrx64 Comment by cmrx64 10 months 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