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 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
