Dominique Martinet 01fe83dcb3 do_mmap: change addr to uintptr_t ...

Change-Id: I7df45e125387083aef7e62b046c20b7422f60f22

2018-10-11 09:24:23 +00:00

..

elfboot

debug messages: implement dynamic debug

2018-07-26 14:16:31 +09:00

kboot

arch: x86 -> x86_64 and build system changes

2017-10-18 09:20:52 +09:00

kernel

do_mmap: change addr to uintptr_t

2018-10-11 09:24:23 +00:00

tools

Exclude areas not assigned to Mckernel from direct map of all phys. memory

2018-09-04 19:51:10 +09:00