View source for Linux Support

==Linux Installation Notes.==
The following steps will allow you to flash an original Android firmware or a Linux dual boot firmware. At the moment the flash tool only supports Windows.

'''Please note: <span style="color: #ff0000;">Flashing Android or Linux will delete any user data on the device. Please make sure you have a backup of any important data before starting!</span>'''



# Install Windows FlashTool [http://support.planetcom.co.uk/download/FlashToolDrivers.zip drivers]. <br />'''Note: The drivers have been updated to improve compatibility with Windows 10.'''
# Download the [http://support.planetcom.co.uk/download/FlashTool.zip Flashing tool]
# Use it with one of the following firmware:
#* [http://support.planetcom.co.uk/download/Gemini_Android_1_1_0.zip Android firmware v1.0]
#* [http://support.planetcom.co.uk/download/Gemini_Debian_TP.zip Dual boot Android - Debian linux - Technology preview]


You can find information about flashing the Linux firmware [[Linux Flash Guide|here]]

Please note that Linux support is still under development at the moment, and the Debian technology preview is mainly for people who wants to experiment with it. We will provide updated firmwares in the next few weeks, please stay tuned!



==Source Code==
<span style="color: #252525; font-family: 'Source Sans Pro', sans-serif; font-size: 15.008px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: #ffffff; text-decoration-style: initial; text-decoration-color: initial; display: inline !important; float: none;">Source code for the Linux kernel and the bootloader has been published on GitHub:  [https://github.com/dguidipc https://github.com/dguidipc]<br /></span>