danh-arm 874cd37f0b Merge pull request #280 from vwadekar/tlkd-fixed-v3 ...

TLK dispatcher

2015-04-01 11:36:08 +01:00

..

aarch64

Merge pull request #280 from vwadekar/tlkd-fixed-v3

2015-04-01 11:36:08 +01:00

cpus/aarch64

Add support for ARM Cortex-A72 processor

2015-03-18 12:09:17 +00:00

bakery_lock.h

Move bakery algorithm implementation out of coherent memory

2015-01-22 10:57:44 +00:00

cassert.h

Separate out CASSERT macro into own header

2014-05-06 12:35:02 +01:00

mmio.h

Inline the mmio accessor functions

2014-06-24 14:30:23 +01:00

semihosting.h

Remove variables from .data section

2014-05-06 17:55:38 +01:00

spinlock.h

Always use named structs in header files

2014-05-06 13:57:48 +01:00