Translation(s): none

DebianOn is an effort to document how to install, configure and use Debian on some specific hardware. Therefore potential buyers would know if that hardware is supported and owners would know how get the best out of that hardware.

The purpose is not to duplicate the Debian Official Documentation, but to document how to install Debian on some specific hardware.

If you need help to get Debian running on your hardware, please have a look at our user support channels where you may find specific channels (mailing list, IRC channel) dedicated to certain types of hardware.

Models covered
Acer Chromebook 13 from 2014 (model CB5-311-T8BT, codename "nyan")

Sub-models options :
- CPU: ARM, Nvidia Tegra K1
- Video card: Tegra K1
- Memory: 4GB
- SSD: 32GB

Overall Status


Preparing for the installation

Enabling Developer Mode

All of the installation techniques described require that the Chromebook be switched into Developer Mode. There are disadvantages to making this switch - like loosening security of ChromeOS & lossing all user data, but it is currently a hard requirement.

Simply, developer mode can be enabled by first entering Recovery Mode (hold the ESC and Refresh [=F3] keys then press the Power key). The system will reboot and show the Recovery Mode screen. Press Control-D or wait 30 seconds. The system will boot and ask you to confirm that you wish to make the change.

Switching to recovery mode will delete any content or data stored on your system.

Enabling Developer Mode proceeds and may take over 10 minutes to complete.


Overview of next steps

32GB is a lot of space that ChromeOS can share with a standard Linux distribution.

This method is a mix of older Chrubuntu script & it's newer Arch Linux fork.

This method a first reuse ?ChromeOs' 3.10 Linux kernel; but as many feature are not enable; systemd will complain a lot. The 3.10 Kernel is then rebuilt in-host with the right features enabled.

TODO: - use more current kernel with Nouveau

Make room on the SSD for Debian


Copy the 3.10 kernel




Reboot in Debian


Rebuild 3.10 Kernel