Andrew Scheller

(@aallan please feel free to assign this issue to me)

http://www.raspberrypi.org/documentation/linux/kernel/building.md http://www.raspberrypi.org/documentation/hardware/computemodule/cm-emmc-flashing.md

But isn't this https://github.com/raspberrypi/rpi-firmware repo precisely what "If the boot firmware files are split off into a seperate repo..." is referring to? :man_shrugging: (or perhaps I've simply misunderstood what that...

How likely is it that `$HOME/.bashrc` or `$HOME/.profile` _don't_ end with a newline? I think that'd only happen if you tried editing the files with e.g. a Windows editor (which...

Not that it really matters, but just out of curiosity what editor program are you using that doesn't automatically add a newline to the end of text-files? > But the...

#6 already fixes a similar problem that was spotted by somebody on the forums, but I didn't think to test it myself to see if there were any other failure-points!...

Hmmm, AIUI it's actually the other way round, i.e. the signature for `vchi2service_status_string` indicates it takes a `VC_SERVICE_VCHI_STATUS_T` (with valid values 0, -1, -2, -3) but then inside the function...