aboutsummaryrefslogtreecommitdiffstats
path: root/include
AgeCommit message (Expand)AuthorFilesLines
2016-06-15Add AArch32 to the boot-wrapperJean-Philippe Brucker1-0/+22
2016-06-15Add support for 32-bit kernelJean-Philippe Brucker1-0/+1
2016-06-15Replace exclusive accesses with a bakery lockJean-Philippe Brucker4-2/+50
2016-06-15Rewrite cache flush in CJean-Philippe Brucker1-0/+2
2016-06-15Rewrite GIC drivers in CJean-Philippe Brucker1-0/+1
2016-06-14Rewrite boot methods in CJean-Philippe Brucker4-0/+75
2016-06-14AArch64: factor CPU ID gettersJean-Philippe Brucker1-0/+16