portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Adrian Danis 3eefc3e7c2 riscv: Make room for devices in rv32 
Leaves the last entry in the top level page table free so that it can be used for mapping
devices in the future. This moves the kernel image down to the second last entry in the
top level page table. Leaving the last entry in the top level page table also matches the
rv64 design.
2018-08-09 12:36:28 +10:00
..
allwinnerA20/plat [STYLE_FIX] 2017-11-28 00:02:37 +00:00
am335x/plat SELFOUR-711: Add Eth/CPSW IO addresses to am335x platform 2018-02-13 15:00:28 +11:00
apq8064/plat [STYLE_FIX] 2017-11-28 00:02:37 +00:00
bcm2837/plat rpi3/aarch64: update linker script & relocate PHYS_BASE 2018-06-04 13:46:19 +10:00
exynos4/plat [STYLE_FIX] 2017-11-28 00:02:37 +00:00
exynos5/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
exynos_common/plat/machine Refactor mct.c into mct.h and hardware.c 2017-11-28 10:21:46 +11:00
hikey/plat define KERNEL_PMU_IRQ for TX1, HIKEY 2018-03-22 13:12:03 +11:00
imx6/plat Make TIMER_CLOCK_HZ available in timer.h for ARM 2017-11-28 10:21:46 +11:00
imx7/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
imx31/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
omap3/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
pc99/plat x86: Separate header for TLB bitmap definitions 2018-01-16 14:51:26 +11:00
spike/plat riscv: Make room for devices in rv32 2018-08-09 12:36:28 +10:00
tk1/plat Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
tx1/plat armv8/tx1: Expose more devices to user mode 2018-04-03 10:34:01 +10:00
zynq7000/plat Make TIMER_CLOCK_HZ available in timer.h for ARM 2017-11-28 10:21:46 +11:00
zynqmp/plat aarch64: Restrict USER_TOP to virtual addresses without high bits 2017-12-20 16:11:06 +11:00