ref: 1cb4a6eae7560157e944d7f9e1d4d91c6df2cf50 gemini-pda-docs/docs/images.md -rw-r--r-- 3.5 KiB
1cb4a6eaManuel Groß Include more info about Gemian 2 years ago

#System images

This is where I try to collect information on how the system images you can download are built or used.

#The “Gemini Partition Tool”

Planet Computers provides an online tool where you can configure and download multiboot system images for the Gemini PDA.

After selecting the system variants and what partition they should be on, the tool provides download links to the corresponding image files and a “scatter file” for the MediaTek Flashing Tool.

#Gemini Variants

Note how you can choose between different variants of the Gemini PDA. One difference this selection makes is likely the variant of the LK bootloader, as it got several branches named after these variants. The same is true for the Android kernel as well. I’m not sure if that concludes the differences though.


  • find out what the exact differences are in the “Gemini version” (variations in kernel or build configs might be relevant when building an image)
  • find out what the online tool actually does, so it can be reproduced locally


The Gemini PDA apparently uses some version of the “Little Kernel” (LK) bootloader, which I’m not sure is used as a first or second stage bootloader. A repository with the source code should be available on Github.


  • explain/list multiboot keypress combinations
  • read this post


Planet Computer seems only to have published the ancient Linux kernel they use for Android on Github. There is a ”community“ fork from this kernel that allegedly contains some fixups for Linux. It seems it is used for the Debian/SailfishOS images provided by Planet Computers.


I know nothing more about that than the wiki I’m referencing has written down.


  • Examine differences between the Helio X20 and the X25/X27 SoC’s. Wikichip states there are mostly differences in the clocks, and to my understanding the X20 is supported in the mainline kernel? One of those informations is probably wrong—looks like I missed something here.

#System image

The image files used to boot are Android boot images assembled using mkbootimg, which makes sense, considering that the LK bootloader is used in Android as well. The gemian wiki describes how such an image is built.



There seems to be one Github profile which is used by Planet Computers to sporadically dump their current source code snapshots for the Android kernel, bootloader and Flash-Tool: dguidipc


There is a small Github organisation called Gemian for “Debian on the Gemini PDA”. It is used to collect a bunch of repositories with mostly software used in the Debian images I presume including changes specific to the Gemini PDA. It’s also where a small wiki is hosted that describes part of the build process.