Yes, the chroot method can be a great option as well! Thanks for mentioning it! That was actually the first method I used to install Linux tot he C720P. Ultimately, I found myself spending most of my time in Linux, so I decided to save system resources and cut ChromeOS out of the equation. Definitely a good option though!