The entire system firmware is open source, so it’s relatively straightforward to replace the system firmware with Coreboot and EDKII to boot normal UEFI Linux. It works excellent. mrchromebox.tech and docs.chrultrabook.com have all the nitty gritty details.