History log of /seL4-l4v-10.1.1/seL4/include/string.h
Revision Date Author Comments
# 82c997ae 11-Apr-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

Expose string functions in all builds

These are useful beyond just debug and printing builds


# 1287590e 16-May-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

Correct separation of printing and debug builds

Fixes some build issues with 541289a32603cee8242b5360b05e8f0c52795433
as well as further allowing debugging (via the capdl interface) to
happen when printing is turned off.


# 0ecff9f3 09-Nov-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

unsigned int -> word_t


# 952e5a27 13-May-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

Add ability to set a human readable thread name when running kernel in debug mode