K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2011-11-05T16:04:57.441767Z
K 7
svn:log
V 204
Add the beginnings of the pSeries PIC driver. IPIs work, at least, which
is all I could test in QEMU. A few other changes (to RTAS and the platform
infrastructure) will be required to make non-IPIs work.

END