Andrew Turner 7c570e8bb1 Remove the arm KERNPHYSADDR option as it is no longer used. The make ... option is still in existance as it is used to build the trampoline code.		2015-12-22 09:08:21 +00:00
..
db88f5xxx.c	When mapping device memory, use PTE_DEVICE rather than PTE_NOCACHE.	2014-05-10 20:03:03 +00:00
files.db88f5xxx
files.ts7800
orion.c
std.db88f5xxx	Remove the arm KERNPHYSADDR option as it is no longer used. The make	2015-12-22 09:08:21 +00:00
std.ts7800	Remove the arm KERNPHYSADDR option as it is no longer used. The make	2015-12-22 09:08:21 +00:00