Is your claim sel4 hasn’t had a ton of vulnerabilities? Because a quick google search shows hundreds
can you link some? my search results are rather subpar