Pinebook Pro?

[lucad111]

because UEFI needs to be ported for rk3399. that edk2 thing. is rockchip working on this? maybe, but who knows. it requires a lot of effort. I, as a hobbyist, do work on my own UEFI implementation, not based on edk2, but it's, yeah, it's incomplete*. rk3399 unfortunately is out of my scope, i just don't have boards with it, rk3328 at most. but I'll beep here, when I have something worth looking at for the Pine boards (I have Pine64+ and Rock64). it's a good question, I really like the idea of having UEFI as FW for SBCs. so far, only quite pricey things like HiKey960/970 have this decent solution. and RPi, that has a huge support behind it. still I don't know how mature their port is.


* - that link in my signature is just a mirror repository, that is highly out of sync now, the amount of code written is way more, than is seen there, still, it's very unusable, basically runnable on just 1 board (and it is a MIPS machine ). however, I hope, as a temporary solution for ARM targets, soon use uboot (because of SDRAM init procedure and accompanying very low level stuff not written yet for the boards) for testing Boot Services that are at the core of UEFI and are mostly written. the big problem as well is reaching the display. UART is cool for tracing and command processing, but not for cute (but also - feature rich) GUI, this FW should provide. Boot Manager is a weak part overall. ah well, it's just my hobby project, you need to wait until SoC vendors finally join edk and will port it to their products. UEFI must take over that chaotic half assed mess, called uboot.

Indeed it takes a lot of effort to port everything, so uboot in this case is the choice to be able to have things up and running without waiting for a porting to be complete ... and stable.

The HiKeys have the unfortunate disadvantage of not having any ethernet connector, limited storage options and few other things not really helping.
Although i suspect there might be some hope of someone working on the edk2 port at some time since there is a Rock960c  board that uses the same rk3399 chip.
I think i might ask around and see if someone knows anything about that.