Debian Linux on the Samsung Galaxy Note 10.1 (with pen support) – video