Wanted: Access to PPC Linux for bounds-checking work

[David Edelsohn]

>>>>> Michael Meissner writes:

Michael> At one
Michael> point, the LinuxPPC folks had loaner machines for doing ports, you might try
Michael> contacting them (or yellowdog which is their competitor).  Note, 64-bit Linux
Michael> PPC isn't compete yet if memory serves (Geoff/Franz would know more).

	The PowerPC Linux community provides accounts on remote access
systems to developers.  Franz Sirl is a good place to start.  I already
forwarded the contact information privately.

	An entire 64-bit PowerPC Linux toolchain is available and
preliminary kernel development has begun.  One can boot a 32-bit PowerPC
Linux kernel on a 64-bit RS/6000 system, but a 64-bit kernel and userland
is not yet available.

David