#
a32264bf |
|
27-Nov-2017 |
Bamboo <bamboo@keg.ertos.in.nicta.com.au> |
[STYLE_FIX]
|
#
cddc4e6e |
|
15-Nov-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Inline resetTimer for all platforms - for arm generic timer platforms, we remove resetTimer -> resetGenericTimer indirection and simply include generic_timer.h - this reduces boiler plate for platforms that share timer drivers, as they simply include the one header - there is far more timer code in the RT kernel, which motivates this change
|
#
7fd27836 |
|
15-Nov-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Refactor mct.c into mct.h and hardware.c This prepares for inlinining the generic timer in header files, which will reduce the redundancy for all platforms that use it. Since mct.c shared code with the generic timer, both could not define a resetTimer function. This commit splits the logic and definitions used by exynos4 and exynos4* into common definitions in mct.h, with the unique code for both in hardware.c
|
#
ce2c058f |
|
06-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-607: inline remaining irq path functions
|
#
4a486779 |
|
06-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-519: remove map_kernel_devices duplication * move devices to static array in hardware.h * use one higher level function to map them in.
|
#
9456b3e6 |
|
05-Aug-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
SELFOUR-519: remove more duplication in hardware.c * move p_reg functions up a level * move p_reg definitions to hardware.h
|
#
9a7b1aec |
|
06-Jun-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
Trivial: move printfs in handleReservedIRQ up. This wraps the printfs in CONFIG_IRQ_REPORTING and reduces redundancy.
|
#
0ec5e937 |
|
06-Jun-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-402: remove isReservedIRQ While provided by each hardware platform this function is never called.
|
#
541289a3 |
|
11-May-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Further separate 'release' and 'verification' builds Originally building the kernel was largely considered to be done in one of two ways 1. Release build with no assertions, no debug symbols and no printing. This was generally considered to be a 'verified' build 2. Debug build with assertions, debug symbols and printing Since then various options were added, such as the 'code injection' option, which we wanted on builds that did not have assertions or other options that affected performance. As such it did not depend upon a debug build and had large warning signs saying that enabling this in a release build would not give you a verified or trusted kernel. Most recently the ability to print from the kernel in release mode was added. For the same reason that tying the ability to print with the performance reduction of various debugging was not always desireable. This change attempts to unify the current state and have a single top level option to enable a 'verification friendly' build. All other options (assertions, printing, code injection) then depend upon this configuration not being set.
|
#
171824f7 |
|
07-Dec-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Change additional int->word_t due to interraction with the C parser to ease verification
|
#
ec788900 |
|
24-Jul-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
xIntroduce RELEASE_PRINTF, which allows a renamed printf (release_printf) to be used in a release build of the kernel - userful for debugging tests that only fail on a release build of the kernel
|
#
311c9d7b |
|
27-Jul-2015 |
akroh <Alexander.Kroh@nicta.com.au> |
EXYNOS4: Enlarge PMU device region
|
#
86751e48 |
|
25-Feb-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
ARM: Set the XN bit on kernel mappings that do not need to be executable. This covers the kernel stack, globals frame and device memory. We shouldn't be executing in any of these pages, so functionality should be unaffected. This is primarily a debugging aid.
|
#
bcdb09d9 |
|
05-Jan-2015 |
akroh <Alexander.Kroh@nicta.com.au> |
Merge exynos debug serial drivers
|
#
f896ffa0 |
|
27-Nov-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
XN: fix order of vm_attributes in init code and update apq8064
|
#
644dff49 |
|
19-Nov-2014 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
further support for XN bit on ARM
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|