Samuel Dionne-Riel

~~Right, there's a few commits that needs to be merged back into `development`, that's why changing the target branch to `development` floated them up.~~ Updated `development`. New changes happens in...

I see two general issues in there, for which I need to ask questions: - Does upstream U-Boot support HDMI output on the ROCK64 (or rk3328)? - I assume there's...

Thank you for the brain dump. About [1], The documentation bit was previously in README.rockchip, `blame`'d to its introduction in 2015: - https://source.denx.de/u-boot/u-boot/-/commit/adfb2bfe50bba29e59fd04a81f0a9bbebdd203ce#5c5212e8f472c00c85d2d14f744d5e0e2b4314de_0_130 Which added support for RK3288.

Tentatively putting in the milestone for the next release. It might be possible to do this as I was provided with a ROCK64 by someone (not sure if they wanted...

**About HDMI**: there's no rk3328 HDMI driver in U-Boot. So this won't be a trivial thing to get going. I don't really know the platform yet, but if the subsystems...

I'll post an update soon once I better get the subtleties of SPI on the Rock64. I have the shared image going already.

@moosingin3space I went ahead and: - split your commit in three distinct commits - finished Rock64 support as co-author - made some necessary changes around the rockchip builder I took...

### What works - Tow-Boot starts from SD - Tow-Boot starts from SPI - Tow-Boot can be installed from the installer (using the serial console) - Saving environment to SPI...

> Have you already moved the U-Boot environment to SPI flash? I think it's still on SD/MMC upstream, and I didn't see a change for that in this PR. Good...

The fact that Linux doesn't enumerate USB is odd. Though it depends on the exact setup. Though USB not working at this moment with the Rock64 is somewhat expected, as...