An interesting paper looking at bugs in the Linux kernel and exploring which wouldn't work on seL4: https://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf (Also, apparently Google's Fuschia is based on the Zircon microkernel!)