I also ran across a project which might help get Core OS running on ARM boards that use U-boot like the RPi and ODROID boards. It aims to enable UEFI on top of U-Boot on ARM.
Here's the post on HackerNews: https://news.ycombinator.com/item?id=12266370 There is also another project which might be helpful that is pointed out in the comment section: http://efidroid.org/ I've got no idea what parts of UEFI that Core OS requires but I would love to be able to run Core OS on a small cluster using ODROID C2 boards. On Thursday, August 11, 2016 at 12:46:48 AM UTC+2, Luke Wiersma wrote: > > Hey Guys! > > I just ran across this group posting and found it very interesting because > it's exactly what I would like to do. > I thought I would post some extra info I actually just ran across within > the last week that might be useful to note for future development of > Geoff's project. > > I ran across this post on Phoronix about Raspberry Pi 3's BCM2837 SoC > getting support in the Mainline Linux 4.8 Kernel: > http://www.phoronix.com/scan.php?page=news_item&px=ARM-Platforms-Linux-4.8 > > I also ran across a post on on Hackaday about Raspberry Pi 3 getting new > Boot Modes, specifically USB Mass Storage, and Network Boot: > http://hackaday.com/2016/08/04/raspberry-pi-3-gets-usb-ethernet-boot/ > Here are the two current post from Gordon Hollingworth about the current > state of these two new Boot Modes: > https://www.raspberrypi.org/blog/pi-3-booting-part-i-usb-mass-storage-boot/ > & > https://www.raspberrypi.org/blog/pi-3-booting-part-ii-ethernet-all-the-awesome/ > > Thought this might shed some extra light on the subject! > > > ~Luke > > > On Thursday, April 7, 2016 at 11:30:45 AM UTC-5, Geoff Levand wrote: >> >> Hi, >> >> On Thu, 2016-04-07 at 08:45 -0700, Andreas Mahnke wrote: >> > I'm not sure about the UEFI support - by now I could not find any >> > indicator that it is supported. >> > >> > The Kernel topic looks better though. Some folks where able to boot a >> 64bit Version 4.5 Kernel on the pi3 using u-boot. (See also >> https://www.raspberrypi.org/forums/viewtopic.php?f=72&t=137963&sid=62597535a88a3dfb1e12d59a53db1ed2&start=125) >> >> >> > >> > Maybe this could be a good basis to get CoreOS booting on the pi3 using >> u-boot as already suggested by Josh above. >> >> CoreOS just updated to the linux-4.5 kernel. I'll pull >> those updates into my dev repos today [1]. I don't >> know if all the board support that needed for pi3 is >> enabled in the CoreOS kernel config file [2] though. >> I'll enable what looks like it needs, but someone will >> need to verify. >> >> Just to mention it, CoreOS does not have wifi support. >> >> To boot the system you'll need to write an arm64 CoreOS >> disk image [3] to a storage device. If u-boot can boot >> from fat32 formated USB storage, then I suggest trying >> USB boot first. >> >> [1] https://github.com/glevand/coreos--manifest.git >> [2] >> https://github.com/glevand/coreos--coreos-overlay/blob/master/sys-kernel/coreos-kernel/files/arm64_defconfig-4.5 >> >> [3] https://github.com/glevand/hikey-coreos/releases >> >> -Geoff >> >>
