Installation on microsd

[Paul Mansfield]

On 25 August 2017 at 21:19, Marek Handze <mhandze at gmail.com> wrote:
> From your post I see that the best way is to make some space on eMMC and
> install Linux on new partition here. Since I'm windows noob, would you
> suggest a good tool to resize current windows partition without loosing data
> ?

just right mouse on my computer (or find it in the file browser) and
Manage, then find the disk manager, and you can right click and shrink
the partition.
if you have a Win 10 install, you can delete the old recovery
partition. In Windows 8, the recovery partition was needed by windows
when running normally, deleting it would break everything! In Windows
10, it reverts to the same as Win7 with a simple boot partition and
then the main C drive.


> To prepare my current Ubuntu 17.04 live USB I was using this script:
>
> http://linuxiumcomau.blogspot.com.au/2017/06/customizing-ubuntu-isos-documentation.html

yes, that's what I would do now. though I am running Debian, because
when I started, only Debian provided an install ISO that worked with
the 32 bit UEFI.

> There is some code getting latest possible kernel + patched for network
> drivers. It works really well and stable running from USB so far.
> Missing keyboard/touchpad and sound now, but for that I need to install and
> patch Linux on local partition.

yes, there's a small kernel hack to make the dock work better.