Gregory Nutt a14cb94b45 Mostly cosmetic use of uintptr_t to hold addresses instead of uint32_t

2014-08-26 10:44:10 -06:00

..

include

Mostly cosmetic use of uintptr_t to hold addresses instead of uint32_t

2014-08-26 10:44:10 -06:00

src

Fix confusion about what is a page of data and what is a page of L2 page table; restructure functions to reduce duplicated logic

2014-08-26 10:41:43 -06:00

Kconfig

After cached related fix, the ELF example is now functional

2014-08-24 14:12:45 -06:00