History log of /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/interfaces/sel4arch.xml
Revision Date Author Comments
# 8fd604eb 23-Apr-2018 Adam Felizzi <a.felizzi@student.unsw.edu.au>

manual: Added <docref> XML Tag to Doxygen

Introduced a new Doxygen XML tag '<docref>'. The intention of
this tag is to indicate a section of text in the Doxygen XML that
will contain a reference to another section in the Manual e.g.
"See \autoref<sec:x>". As other generation formats aren't aware of
other chapters/sections in the manual, the <docref> encapsulation
allows it to omit the text from the output. The Latex generator
has been modified to continue parsing the 'docref' contents.


# 3a21701a 28-Mar-2018 Yanyan Shen <yanyan.shen@data61.csiro.au>

libsel4/arm: Move VCPU to the common interface


# 72478f36 02-Aug-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

Manual: document mode/arm object invocations


# 07f94833 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

libsel4: fix licenses

- some were incorrectly marked GPL (libsel4 is BSD)
- update NICTA --> DATA61 etc
- fix tags D61 --> DATA61
- update year to 2017


# c2ca76a3 24-May-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

manual: Friendly names for arch-specific methods


# 3498705f 23-May-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

manual: Add basic names and labels to interfaces


# c7471db9 23-May-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

manual: Trivial whitespace


# ee75f086 16-Oct-2016 amrzar <azarrabi@nicta.com.au>

update #ifdef to #if in auto generated files


# f14dcdd0 15-Jun-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

arm-hyp: Add conditions to invocations


# 41603a26 01-Jun-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

Correct merge of master


# 1a1110a0 14-Jan-2016 amrzar <azarrabi@nicta.com.au>

Modify Kconfig and Makefile for aach32 as sel4_arch
libsel4: updates to include aarch32 as sel4_arch