Searched refs:armv8 (Results 1 - 13 of 13) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dinit.c24 #include <arch/armv8/arm_hal.h>
25 #include <arch/armv8/init.h>
26 #include <arch/armv8/exceptions.h>
27 #include <arch/armv8/global.h>
28 #include <arch/armv8/startup_arch.h>
31 #include <arch/armv8/kernel_multiboot2.h>
32 #include <arch/armv8/paging_kernel_arch.h>
H A Dplat_cn88xx.c24 #include <arch/armv8/global.h>
H A Dplat_imx8x.c28 #include <arch/armv8/global.h>
H A Dplat_qemu.c30 #include <arch/armv8/global.h>
31 // #include <arch/armv8/gic_v3.h>
H A Dplat_rpi3.c26 #include <arch/armv8/global.h>
H A Dplat_apm88xxxx.c25 #include <arch/armv8/global.h>
H A Dkernel_multiboot2.c17 #include <arch/armv8/kernel_multiboot2.h>
/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h36 // armv8 platforms
87 struct arch_info_armv8 armv8; member in union:platform_info::__anon28
/barrelfish-master/kernel/include/arch/armv8/
H A Doffsets.h20 #include <target/armv8/offsets_target.h>
/barrelfish-master/doc/022-armv8/
H A Dreport.tex753 \texttt{/armv8/sbin/cpu\_apm88xxxx} as the CPU driver, with arguments
759 kernel /armv8/sbin/cpu_apm88xxxx loglevel=3
761 module /armv8/sbin/cpu_apm88xxxx
762 module /armv8/sbin/init
765 module /armv8/sbin/mem_serv
766 module /armv8/sbin/monitor
769 module /armv8/sbin/chips boot
770 module /armv8/sbin/ramfsd boot
771 module /armv8/sbin/skb boot
772 module /armv8/sbi
[all...]
/barrelfish-master/usr/drivers/cpuboot/arch/armv8/
H A Dboot_arch.c21 #include <target/armv8/offsets_target.h> //from the kernel includes
/barrelfish-master/doc/023-coreboot/
H A Dcoreboot.tex359 \label{chap:armv8}
/barrelfish-master/doc/003-hake/
H A DHake.tex744 \texttt{x86\_64}, \texttt{armv7}, \texttt{armv8},

Completed in 116 milliseconds