portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
amrzar 2cbc7123b6 SELFOUR-630:preliminary booting application processors 
- update core detection code and Kconfig file
    - update kernel stack managment so that BSP does not use boot stack before IPI APs
    - move arch dependant data to a single structure
    - add cache line size to Kconfig
    - add cpu indexing and apic id mapping
    - boot APs to halting state
    - add guard for kernel stack if there is only one core
2016-09-28 16:10:25 +10:00
..
allwinnerA20/plat SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
am335x SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
apq8064 SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
bcm2837/plat SELFOUR-537: Support for raspberry pi3 2016-09-19 15:53:53 +10:00
exynos4 SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
exynos5 SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
hikey SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
imx6 SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
imx7 SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
imx31 Store active irq in global variable on kzm 2016-09-14 13:43:35 +10:00
omap3 SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00
pc99 SELFOUR-630:preliminary booting application processors 2016-09-28 16:10:25 +10:00
tk1 SELFOUR-556: Rationalize BITS vs INDEX_BITS 2016-08-31 09:24:47 +10:00
zynq7000 SELFOUR-624: remove redundancy in io.[c|h] 2016-08-23 08:00:47 +10:00