If there is a way to do that based on the rudiments of Linux -- which I'm still getting a handle on -- I would rather do that as a learning (and teaching) experience than clicking on an install option.
For those of us not staring out in the Apple universe -- turn it on an start writing BASIC -- the first exercise in becoming PC savvy was figuring out how to format the hard drive and install and OS. And getting a basic working understanding of device drivers along the way - like you have to have the CD ROM driver on your boot floppy disk if you plan to install your OS from CD.
Anyway, so far I've got Pixel running in live mode from a USB. I first installed gparted, then found my hard drive, partitioned (and formatted) it, and mounted it with a rudimentary knowledge of the following terminal commands:
I have also figured out that the top level of the USB drive has been mounted as /lib/live/mount/medium. Presumably the 'live' and 'boot' directories as for booting from the usb and running live linux. And it seems that it should be possible to copy the necessary files out of the isolinux folder, but that's where I'm lost.pi@raspberrypi:~sudo apt-get gparted
pi@raspberrypi:~ sudo gparted
pi@raspberrypi:~sudo mkdir /mnt/local_HDD
pi@raspberrypi:~ $ sudo mount -o defaults /dev/sda3 /mnt/local_HDD
From a purely educational standpoint, I would appreciate it if someone would respond to this post and explain what is going on. Whey don't I see what looks like a linux installation in the live usb. And what is /lib/live/mount/rootfs/filesystem.squashfs ... is that the actual OS install?
If the Pi folks want to gauge the insterest in getting Pixel running on old x86 hardware, without necessarily creating an turnkey alternative to the Pi, I suggest a technical 'how to' post first, then look at how many hits it gets and what kind of issues / questions people come back with.