History log of /seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/l2cache.c
Revision Date Author Comments
# f28eb2c5 13-Feb-2015 Robbie VanVossen <robert.vanvossen@dornerworks.com>

Added support for the Allwinner A20 platform (specifically the CubieTruck board)