History log of /seL4-test-master/projects/musllibc/Kbuild
Revision Date Author Comments
# 5e83dd23 29-Aug-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses for DATA61 files
# 048a4e72 26-Aug-2014 Adrian Danis <Adrian.Danis@nicta.com.au>

Port muslc to seL4 build system and environment. Defines custom 'seL4' architectures for ARM and i386