History log of /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/cpuid.c
Revision Date Author Comments
# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# eb0b02b2 10-Dec-2019 Simon Shields <simon.shields@data61.csiro.au>

elfloader: use driver model for SMP on ARM

Previously, each platform had its own implementation of init_cpus().
This is particularly cumbersome in the case of aarch64, where all
platforms which support SMP use PSCI to do so. This patch moves
SMP on ARM to be implemented using the driver model.

It introduces a new driver type, DRIVER_SMP. This driver
has a single method, `cpu_on`, which, when given an
`elfloader_cpu` struct, turns on the CPU corresponding to that struct,
launching it at the given entry point with the provided stack.

This patch also makes the aarch64 and aarch32 CPU bringup logic
much more similar. Both architectures now wait for CPUs to come up
before starting the next.

Note that the i.MX7 is left as-is, using the old mechanism, due to a
lack of hardware to test on.


# c85fda55 07-Apr-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

trivial: style this repo


# 96e61aa6 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file


# 935ee687 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# d33e71c1 20-Dec-2016 amrzar <azarrabi@nicta.com.au>

elfloader: refactor files to imitate kernel design
- move files to src/include folders
- update files as required, e.g. renaming files and folders to prevent conflicts


# 839aab9b 26-Jan-2016 amrzar <azarrabi@nicta.com.au>

Add efi/64bit and Hikey platforms


# 721fff68 21-Jan-2016 amrzar <azarrabi@nicta.com.au>

Code cleanup befor adding efi and 64bit extension