| #
61c098a9 |
|
17-Jan-2017 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Change the way the .rodata section is handled.
The new version allows multiple things to be read-only data. This
allows handling the .boot.rodata pseudo-section from seL4, for
instance.
|
| #
16d011ac |
|
02-Aug-2016 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Activate inst_logic for seL4-example, fixups.
|
| #
69d3b448 |
|
15-Jul-2016 |
Felix Kam <felix.kam@nicta.com.au> |
skip fastpath functions for now
|
| #
0781623a |
|
24-Aug-2015 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Example target for testing seL4 build.
This should be useable for building the seL4 binary verification
problem.
|