[PATCH] Add idle power save for ppc 4xx

[Josh Boyer]

On Tue, 1 Apr 2008 15:00:38 +1100
Paul Mackerras <paulus at samba.org> wrote:

> Josh Boyer writes:
> 
> > Actually, you probably don't want this as a property in the device
> > tree.  It doesn't describe hardware.  A Kconfig option might be
> > warranted though.
> 
> In general it is valid to have properties in the device tree that
> describe the hypervisor or the kernel's interface to it, since they
> are aspects of the platform, i.e. the virtual "hardware" that the
> kernel is running on.

Yep, we reached that conclusion already.

josh