| #
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
|