#
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX identifiers This commit also converts our own copyright headers to directly use SPDX, but leaves all other copyright header intact, only adding the SPDX ident. As far as possible this commit also merges multiple Data61 copyright statements/headers into one for consistency.
|
#
d0930f67 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: consistently attach return type Add attach-return-type to astyle
|
#
8a72227d |
|
08-Nov-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
x86: PIC code visible during compilation These functions are referenced from code that is not guarded by an #ifdef CONFIG_IRQ_PIC, which was only working due to the optimizer being able to elide the calls prior to linking.
|
#
57fa0e0f |
|
07-Aug-2017 |
Hesham Almatary <hesham.almatary@data61.csiro.au> |
Share linker.h between architectures
|
#
49510f9d |
|
22-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-624: remove redundancy in io.[c|h] And clean up a bit while we are there
|
#
ed39d55d |
|
09-Oct-2014 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
trivial: style
|
#
1aa902e2 |
|
08-Oct-2014 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
ia32: Handle spurious IRQs correctly on the PIC
|
#
c0e9c638 |
|
11-Aug-2014 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Support IOAPIC on ia32 and modify interrupt handling to support user level setting of modes
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|