History log of /barrelfish-master/usr/skb/programs/plat_cn88xx.pl
Revision Date Author Comments
# a930df42 08-Mar-2017 Reto Achermann <reto.achermann@inf.ethz.ch>

SKB: adding ACPI quirks for ARMv8 platforms.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
# f39cb256 07-Mar-2017 Reto Achermann <reto.achermann@inf.ethz.ch>

SKB: adding boot entry facts for armv8 platforms

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
# ca8049ea 26-Feb-2017 Reto Achermann <reto.achermann@inf.ethz.ch>

skb: adding static platform facts for the ThunderX and X-Gene SoC

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>