Olimex ARM64 OSH laptop update

Olimex is working on an Open Source Hardware-based AArch64-based laptop, based on their Open Source Hardware-based AArch64 dev board. They have a update on the system. Including some prototype pictures:

“needless to mention this window button will become Tux. :-)”

https://olimex.wordpress.com/2015/11/05/a64-olinuxino-oshw-64-bit-arm-diy-laptop-idea-update/

I wonder about what firmware they’ll use, and if the use will be able to update it themselves, from source….