Karim Raslan abc465b15c mini-os: arm: add header files ...

Adds header files for future ARM support.
Based on work by Karim Allah Ahmed.

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>

2014-09-08 12:15:49 +01:00

..

arm32

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

arch_endian.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

arch_limits.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

arch_mm.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

arch_sched.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

arch_spinlock.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

gic.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

hypercall-arm.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

os.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00

traps.h

mini-os: arm: add header files

2014-09-08 12:15:49 +01:00