#
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.
|
#
057d7f89 |
|
15-Dec-2019 |
Simon Shields <simon.shields@data61.csiro.au> |
rockpro64, bcm2837, qemu-arm-virt: specify NUM_PPI This is needed to enable succesful compilation with SMP on. Even though the bcm2837 doesn't (yet) support SMP, add the value for completeness.
|
#
49dd638a |
|
10-Nov-2019 |
Axel Heider <axelheider@gmx.de> |
cmake: add helper functions
|
#
bdc56112 |
|
20-Nov-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
arm: tickless generic timer implementation Update the generic timer to implement the MCS kernels tickless timer driver API and update all platforms that use the arm generic timers: - bcm2837 - exynos5 - hikey - imx7 - odroidc2 - tk1 - tx1 - tx2 - zynq7000 Also move the generic timer constants to machine.h to avoid a circular dependency.
|
#
4ede700f |
|
06-May-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
CMake: Invert plat config.cmake processing order Instead of processing each platform CMake file during the arch's config.cmake file, we process all of the platform CMake files first. This is primarily motivated by wanting to move platform configuration into a config file that is processed via a -C argument to the initial build initialisation command. Now a platform config is responsible for setting the kernel architecture and it's own platform/arch specific config settings. Where previously a platform was chosen in an arch specific way via either setting KernelARMPlatform or KernelX86Sel4Arch or KernelRiscVPlatform, a platform can now be set by KernelPlatform. In cases where a platform may further parameterise its configuration it is free to choose its own config options to query. Platforms that support multiple seL4 architectures should use KernelSel4Arch to query this. Platforms that provide sub platforms such as exynos5 and subplatforms exynos5250, exynos5410 and exynos5422 can be selected by specifying KernelPlatform=exynos5, KernelARMPlatform=exynos5410 for example.
|
#
4beafe9a |
|
06-May-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
CMake: KernelHaveFPU is valid for all aarch64 Instead of setting this option on each platform that supports aarch64, we set it for all aarch64 platforms. It is expected that every valid aarch64 platform has an FPU and will be correctly context switched by the kernel.
|
#
391b717d |
|
08-Apr-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
arm: generic_timer -> drivers/timer/arm_generic - move generic_timer.h to drivers/timer/arm_generic.h - update all configs that use it.
|
#
474a7da5 |
|
08-Apr-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
bcm2837: use declare_default_headers - remove unused header files replaced by declare_default_headers - move machine.h to drivers/irq/bcm2836-armctrl-ic.h
|
#
ffa9fda8 |
|
21-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: use consistent styling for all cmake files Add .cmake-format.yaml which defines custom functions with kwargs to style nicely
|
#
2fbdf188 |
|
06-Mar-2019 |
Oliver Scott <Oliver.Scott@data61.csiro.au> |
timer-refactor: Move kernel timers and rename This change moves all arm platform timers to drivers/timer and renames them to the compatibility string specified in the dts. Now the correct timer is included at build time based on the dts, this follows the same pattern as the serial-refactor. Have moved the arm generic_timer and priv_timer into the timer folder and updated cmake configs appropriately.
|
#
34ce52e2 |
|
18-Feb-2019 |
Oliver Scott <Oliver.Scott@data61.csiro.au> |
serial-refactor: Refactor kernel serial drivers Have added a drivers/serial folder to kernel, where all serial drivers will be kept. The point is to have the the dts parsed and generate cmake to include the right uart.c file prefixed with the compatibility. Have removed all io.c from plat and includes from plat/config.cmake and updated CHANGES file.
|
#
89dd2603 |
|
12-Feb-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
arm: Remove empty level2 cache code
|
#
5df854e4 |
|
12-Feb-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Arm generic timer: Remove wrapper functions exynos5 platforms have to initialise custom hardware before initialising the generic timer. This was forcing every other platform to call a wrapper function. We instead define initTimer that exynos5 can override.
|
#
fc444770 |
|
09-Jan-2019 |
Simon Shields <simon.shields@data61.csiro.au> |
arm: use DTS to generate memory region lists This changes all ARM platforms over to using the device tree found in the kernel to generate memory region information.
|
#
3dc234cc |
|
03-Jun-2018 |
Sebastian Holzapfel <seb.holzapfel@data61.csiro.au> |
rpi3/aarch64: add cmake targets for aarch64
|
#
5ec0a36f |
|
15-Nov-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Move arm generic timer initTimer to c file This prepares to inline the resetTimer definition from generic_timer.h without creating a mess of circular includes
|
#
0b730720 |
|
16-Mar-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Add a CMake based build system This commit adds an alternate build system using CMake that operates indepenently of the existing Kconfig+Kbuild+make based build system
|