Hybrid Arch/Chrome OS distribution for Chromebooks