I couldn’t find this explicitly spelled out and want to record this for any future users (or myself) struggling to get dual-booting Linux alongside ChromeOS.
On the Partitioning Instructions for Dual Booting page, when you get to the point of installing your distro and need to create the new partitions for installation, I finally found success by creating 4 partitions:
- Hijack partition 12 as suggested in the instructions to /boot as ext4
- Set aside swap space if using
- / as ext4 (I used 60GB)
- /home as ext4 for remainder of drive space