seL4/include/plat
Adrian Danis 6729ce7823 x86: Make parts of what have become 32-bit specific headers common
The reason these were not made common to begin with is so that there
was a commit that was just a rename of these files to make any merges
with other branches that might exist easier
2015-12-15 17:08:28 +11:00
..
allwinnerA20/plat Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
am335x Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
apq8064 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
exynos4 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
exynos5 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
imx6 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
imx31 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
omap3 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00
pc99 x86: Make parts of what have become 32-bit specific headers common 2015-12-15 17:08:28 +11:00
zynq7000 Change additional int->word_t due to interraction with the C parser to ease verification 2015-12-10 10:45:22 +11:00