OESF Portables Forum

Model Specific Forums => Gemini PDA => Gemini PDA - Linux => Topic started by: Wormhole on June 17, 2018, 02:57:38 pm

Title: It is possible to setup Debian as the primary boot?
Post by: Wormhole on June 17, 2018, 02:57:38 pm
I have dualboot, and I want setup Debian as the primary boot. How to change it?
Title: It is possible to setup Debian as the primary boot?
Post by: nullr0ute on June 17, 2018, 03:35:21 pm
Quote from: Wormhole
I have dualboot, and I want setup Debian as the primary boot. How to change it?

You probably missed the checkmark on this page (http://support.planetcom.co.uk/download/partitionTool.html). Not sure how to edit after the fact. Maybe check the difference in the scatter files?
Title: It is possible to setup Debian as the primary boot?
Post by: galodoido on June 17, 2018, 04:03:22 pm
Quote from: Wormhole
I have dualboot, and I want setup Debian as the primary boot. How to change it?


http://support.planetcom.co.uk/index.php/Gemini_Firmware (http://support.planetcom.co.uk/index.php/Gemini_Firmware)

http://support.planetcom.co.uk/download/partitionTool.html (http://support.planetcom.co.uk/download/partitionTool.html)

In this case you have to flash again the gemini pda .

But it is not a good idea, because if you charge   gemini ( with gemini power off ) , it will load linux and the screen will stay at  prompt  login .  But  if android is the primary boot , the charging   is OK. ( like any other android device  ).

Surely there must be another way without having to do a new installation, but would have to search the internet. It is not very common to have android and linux on the same machine.
Title: It is possible to setup Debian as the primary boot?
Post by: mithrandir on June 17, 2018, 04:22:27 pm
Just reflash the boot partitions. Flash the linux_boot.img into boot is and boot-verifyed.img respectively patched_boot.img (for rooted android) into linux_boot. You can do this by simply selecting the files in the flashtool. For not loosing data make sure to uncheck all other partitions.
Title: It is possible to setup Debian as the primary boot?
Post by: Wormhole on June 17, 2018, 04:46:24 pm
Quote from: nullr0ute
Quote from: Wormhole
I have dualboot, and I want setup Debian as the primary boot. How to change it?

You probably missed the checkmark on this page (http://support.planetcom.co.uk/download/partitionTool.html). Not sure how to edit after the fact. Maybe check the difference in the scatter files?

Damn, I totally missed that one out. I hope I can edit it afterwards...
Title: It is possible to setup Debian as the primary boot?
Post by: Wormhole on June 18, 2018, 05:35:04 am
Quote from: mithrandir
Just reflash the boot partitions. Flash the linux_boot.img into boot is and boot-verifyed.img respectively patched_boot.img (for rooted android) into linux_boot. You can do this by simply selecting the files in the flashtool. For not loosing data make sure to uncheck all other partitions.

Thanks, it works great. But one little problem, I format it first, the scatter file don't accept reflashing. But with Timeshift (backup) it was easy recovering.