History log of /seL4-test-master/projects/sel4runtime/src/util.h
Revision Date Author Comments
# e3190dad 11-Sep-2020 Curtis Millar <curtis@curtism.me>

Use internal stdint and stddef

This changes sel4runtime to use the internal minimal stdint and stddef
removing the dependency for those files from an external libc.

This also removes the imports and dependencies for stdbool, string, and
assert.

Signed-off-by: Curtis Millar <curtis@curtism.me>


# 83775384 27-Feb-2019 Curtis Millar <curtis.millar@data61.csiro.au>

Update licence dates.


# 03d6ddd8 12-Dec-2018 Curtis Millar <curtis.millar@data61.csiro.au>

Copy memcopy and memset for musl libc.

memset and memcopy have been taken from our fork of the musl libc
library. Appropriate copyright has been added to each file.


# 83421073 23-Sep-2018 Curtis Millar <curtis.millar@data61.csiro.au>

Licenses.


# 38e4a771 23-Sep-2018 Curtis Millar <curtis.millar@data61.csiro.au>

Minimise external dependencies.

At the momement, it appears that we will need to rely on at least _some_
C library, although it doesn't matter which.