the master branch of sel4 is always passing verification, for the verified platform: armv7-a on a Sabre Lite.

the x86_64 verification is coming out soon according to the roadmap.