Software Prerequisites

1. Available UEFI based on Linaro UEFI 2015.05(or latest Tiano EDK UEFI) with full open source
a. Enable UEFI self-upgrade
b. Boot from Secondary storage by grub
c. Boot from PXE by grub
d. ACPI available

2. Available kernel based on linux-4.1.6 with full open source
a. Enable arch with basically available components e.g.: timer\interrupt\UART
b. Enable all special peripheral drivers
c. Support device configuration by both ACPI & dts