Where does one get the pcduino-linux-headers 3.4.29+ are they in a repository somewhere?
Also what is the current version?
Also I tried creating the bootable SD card to update and when it boots and runs the board config it reports an error contacting WiiMu to grab the image file. Is there a manual way to get that image from the SD card? The card I have is 8GB there's more than enough room to store the entire image. I tried booting without the ethernet plugged in but, of course, this produced lots of download failures and apparently there is no update on the card. So I guess the huge image is mostly empty space?