History log of /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/unknown_syscall_fault.c
Revision Date Author Comments
# 19c9d5df 16-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: style fix

make the style checker happy
# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# 48ecf9a4 31-Mar-2016 Adrian Danis <Adrian.Danis@nicta.com.au>

libsel4camkes: Move x86 arch files to sel4_arch directory