History log of /seL4-camkes-master/tools/rumprun/lib/libbmk_core/Makefile
Revision Date Author Comments
# 61c37c71 04-Aug-2015 Antti Kantee <pooka@iki.fi>

Add initial ARM support.

A "hello world" works. This means that pthreads, TLS, scheduling
etc. work. There is no I/O support currently (except console).
Adding I/O support requires some fixes to NetBSD (most likely limited
to minor adjustments).

There are two paths to go from here: either add I/O device support,
or fix some structural problems in rumprun which make it assume x86.


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

Provide page allocator as part of bmk-core.

Platforms now share common page allocator code.


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

add bmk_strtoul() to bmk-core


# 7fbd0b16 24-Apr-2015 Antti Kantee <pooka@iki.fi>

Add jsmn JSON parser to bmk-core.

One could debate whether we need it in bmk-core or rumprun-base, but
given that it's extremely small and the only external dependency is to
NULL (apart from size_t which I converted to unsigned long), we might
just as well put it into core and see if in-core uses pop up.

MIT licensed, from http://zserge.com/jsmn.html


# fa0df098 21-Apr-2015 Antti Kantee <pooka@iki.fi>

Don't build kernel-level sources with stack protector.

Technically we should, but since __stack_chk_fail() currently always
comes from libc, things get a bit weird.


# 303f48bb 20-Apr-2015 Antti Kantee <pooka@iki.fi>

Rename librumprun_core to libbmk_core.

It doesn't have anything to do with rumprun, but is at a lower layer of
abstraction, so let's just match the header namespace here.