Adding preliminary starting instructions for experimenting with HelenOS for Raspberry Pi and PPC.
Authored by: debug 2018-06-18
Parent: [r5917]
Child: [r5919]
