History log of /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/elf.c
Revision Date Author Comments
# 57fa0e0f 07-Aug-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

Share linker.h between architectures
# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)
# eccaae51 20-Feb-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

s/D61/DATA61/ in license headers for consistency
# f062dcdc 11-Oct-2016 Bamboo <bamboo@keg.ertos.in.nicta.com.au>

[STYLE_FIX]
# 4f09f9c4 06-Oct-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Refactor elf code