History log of /seL4-refos-master/libs/libmuslc/arch/arm_sel4/syscall_arch.h
Revision Date Author Comments
# 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