seL4/include/arch/arm
Axel Heider fc72f5e957 trivial: remove trailing empty lines
Signed-off-by: Axel Heider <axelheider@gmx.de>
2021-08-27 21:15:11 +10:00
..
arch trivial: remove trailing empty lines 2021-08-27 21:15:11 +10:00
armv Always use kpptr_to_paddr for kernel addresses 2021-06-25 16:30:48 +10:00