On Tue, Jan 13, 2015 at 7:53 AM, Patrick Wildt <m...@patrick-wildt.de> wrote: > Hi, > > Yes, it’s kinda possible. I tried that early 2014 or so. You need to have > some kind of EFI-Grub2 on an sdcard iirc. Then you exit the in-built grub, > open the EFI shell and have it boot grub2. > > Using kopenbsd you can try to load an OpenBSD kernel, but it doesn’t work out > of the box. > > The serial line is not in the ISA(?) space, but memory mapped somewhere else, > so you do not get serial output. The grub boot options pass the actual > address to the linux kernel, so that’s where you can find out which one it is. > > After doing a hack to make that work, I got the following output: > http://gbpaste.org/Pd5Vv
why not publish the hack , for education purpose ? > > I fear I do not have the diffs and blobs anymore. > > \Patrick > >> Am 13.01.2015 um 13:10 schrieb Lampshade <lampsh...@poczta.fm>: >> >> Hello >> Anybody tried to boot OpenBSD on Intel Galileo board? >> Is this possible? >> Have a good day > -- --------------------------------------------------------------------------------------------------------------------- () ascii ribbon campaign - against html e-mail /\