On 6 July 2012 16:34, Peter Maydell <peter.mayd...@linaro.org> wrote: > I've also just realised that I'm assuming that the pointer returned > by fdt_getprop() is naturally aligned for a 32 bit integer if the > property is a 32 bit integer -- is that valid?
To answer my own question here, the dtb format mandates that property data starts at a 4-aligned address, so casting the pointer to a uint32_t* is safe. -- PMM
