[PATCH 0/3] Raspberry Pi firmware driver

[Eric Anholt]

This is mostly a squash/rename of my previous property and power
domain drivers, on top of the new non-channels mailbox driver I sent
earlier.  I definitely like how much less boilerplate there is.

I've switched the power domains to just using the property request,
which has an obvious mapping to the on/off hooks we need to implement
(the firmware tracks which domains are currently requested by the
user).

The code can also be found at: https://github.com/anholt/linux/tree/rpi-mailbox