Comment by cmrx64 Comment by cmrx64 a year 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