History log of /seL4-camkes-master/tools/rumprun/platform/hw/multiboot.c
Revision Date Author Comments
# fb7844f7 30-Nov-2015 Martin Lucina <mato@unikernel.com>

hw/x86: Load configuration from multiboot module if found


# ee2ccb13 09-Sep-2015 Antti Kantee <pooka@iki.fi>

Retire bmk_page{size,shift}, use BMK_PCPU_PAGE_{SIZE,SHIFT}.

Latter are compile-time constants.


# cb88d1e3 09-Sep-2015 Antti Kantee <pooka@iki.fi>

Allow libbmk* to include platform/cpu-specific headers.

Use the <bmk-pcpu> namespace for that (pcpu = platform+cpu).

The purpose is to allow some compile-time and other optimizations to
take place, e.g. with PAGE_SIZE.


# 4f49cab4 02-Aug-2015 Antti Kantee <pooka@iki.fi>

actually commit the code changes too (for previous commit)


# 77fa03e0 02-Aug-2015 Antti Kantee <pooka@iki.fi>

remove bmk_ prefix from routines private to platform/hw


# 4f9ab888 06-Jul-2015 Martin Lucina <martin@lucina.net>

hw: Initialise console first thing at boot

Otherwise we can't use bmk_printf() or bmk_platform_halt() in early init
code.


# 0af7befe 28-Jun-2015 Martin Lucina <martin@lucina.net>

hw: Fix multiboot flag parsing

MULTIBOOT_MEMORY_INFO should be MULTIBOOT_INFO_MEMORY, these are two
different things.

Multiboot command line should only be used if MULTIBOOT_INFO_CMDLINE is
present.


# 8e8f2637 22-Jun-2015 Antti Kantee <pooka@iki.fi>

+ bmk_{round,trunc}_page()


# f55825d1 22-Jun-2015 Antti Kantee <pooka@iki.fi>

initialize bmk_core with page_shift instead of page_size


# a051b7a0 22-Jun-2015 Antti Kantee <pooka@iki.fi>

make bmk_memsize a variable instead of a function call


# d1ca8c12 17-Jun-2015 Antti Kantee <pooka@iki.fi>

simplify memory location calculation


# 80724fbf 09-Jun-2015 Antti Kantee <pooka@iki.fi>

osbegin should be trunc_page()'d to get the size right

not round_page()-d!


# d58eff47 09-Jun-2015 Antti Kantee <pooka@iki.fi>

don't assume that pointers are uint32_t-sized


# be1881dd 09-Jun-2015 Antti Kantee <pooka@iki.fi>

don't assume that osbegin is page-aligned


# d9834add 29-May-2015 Antti Kantee <pooka@iki.fi>

Use the platform/xen page allocator. We can free pages now. Whee.

TODO:
* push implementation into bmk-core, share with xen
* test more


# bca794b5 27-May-2015 Antti Kantee <pooka@iki.fi>

Rename baremetal -> hw, as discussed on rumpkernel-users

Migration: use "hw" where you would have previously used "baremetal".