History log of /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/mm.h
Revision Date Author Comments
# 42dfa5ae 23-Nov-2015 Wei Liu <liuw@liuw.name>

minios: don't rely on specific page table allocation scheme

Today mini-os is making assumptions how the page tables it is started
with are being allocated. Especially it is using the number of page
table frames to calculate which is the first unmapped pfn.

Instead of relying on page table number assumptions just look into the
page tables to find the first pfn not already mapped.

Signed-off-by: Juergen Gross <jgross@suse.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
master commit: 8d84345a20d8a46ea26379c9f19961f6aa3e6e83
master date: Fri Nov 20 19:32:42 2015 +0100
[ wei: port to rumprun ]
Signed-off-by: Wei Liu <liuw@liuw.name>


# 7637c6c5 11-Jun-2015 Wei Liu <liuw@liuw.name>

minios: export do_map_frames as minios_map_frames

Signed-off-by: Wei Liu <liuw@liuw.name>


# ac3ac63c 03-Mar-2015 Antti Kantee <pooka@iki.fi>

Move files into platform/xen

Prepares for the rumprun merge.