A repo with necessary data and documentation for building native GNU/Linux system for Samsung Galaxy Note 10.1