Anyway so, back onto the rk3288 topic.
dimkr on the #libreboot freenode IRC channel has told me that he's porting
LibrePup GNU/Linux to the rk3288 ARM chromebooks. He's almost there, and has
got it to boot, he just has to get all the packages integrated. Librepup is a
libre version of Puppy GNU/Linux.
Puppy uses a blobbed Linux kernel and uses Ubuntu packages, and contains some
non-free packages.
Librepup uses linux-libre (deblobbed linux kernel) and uses Trisquel packages
(instead of Ubuntu), and contains no non-free packages, either in the default
install or in the repos.
Librepup isn't endorsed by FSF yet, but it is a libre distro. I've
recommended to dimkr that he gets it certified by FSF, but either way it's
acceptable as far as I'm concerned, so once it's ready I'll start linking to
it on that C201 page on the libreboot site.
...in other news:
The tehnoetic guy responded in this thread saying that Parabola has been
ported to ARM lately. This is for the BBB and other u-boot targets, but
should be easy to get it running on coreboot+depthcharge (or libreboot, in
this case) on these laptops. I'll give that a go later.
Still nothing conclusive from Trisquel.
GuixSD looks hopeful, and Mark Weaver told me he was interested, so that
looks like it'll be ready at some point.
Things are looking good so far.