Searched refs:armv7 (Results 1 - 17 of 17) sorted by relevance

/barrelfish-master/kernel/include/arch/arm/
H A Dmisc.h26 #include <arch/armv7/cp15.h>
/barrelfish-master/include/barrelfish_kpi/
H A Dplatform.h32 // armv7 platforms
86 struct arch_info_armv7 armv7; member in union:platform_info::__anon28
/barrelfish-master/usr/eclipseclp/lib_tcl/
H A Declipse_arch.tcl59 armv7* { return armv7_linux }
/barrelfish-master/kernel/arch/armv7/
H A Dplat_a15mpcore.c25 #include <arch/armv7/irq.h>
H A Dplat_vexpress.c73 armv7_get_info(&pi->arch_info.armv7);
H A Dplat_a9mpcore.c27 #include <arch/armv7/irq.h>
H A Dplat_omap44xx.c81 armv7_get_info(&pi->arch_info.armv7);
H A Dplat_zynq7.c103 armv7_get_info(&pi->arch_info.armv7);
/barrelfish-master/tools/arm_molly/
H A Dbuild_molly_image.sh23 ARCH=armv7-a
/barrelfish-master/usr/eclipseclp/
H A DARCH94 armv7*) ARCH=armv7_linux;;
H A Dconfigure2831 armv7*-*-linux*)
/barrelfish-master/tools/usbboot/
H A Dusbboot.c47 #include <armv7/include/dev/omap/omap44xx_boot_dev.h>
/barrelfish-master/usr/drivers/omap44xx/sdma/
H A Domap_sdma.c13 #include <arch/armv7/gic.h>
/barrelfish-master/doc/017-arm/
H A DARM.tex118 $ /git/barrelfish/hake/hake.sh -a armv7 -s /git/barrelfish
124 (i.e. use \code{-a armv7}), you can ask the Makefile what platforms it
651 \file{../arch/armv7/}.
807 ../hake/hake.sh -a armv7 -s ../
/barrelfish-master/doc/019-device-drivers/
H A DDeviceDriver.tex228 architectures = ["armv7", "armv7-m"]
543 ARMv7 (\pathname{kernel/arch/armv7/gic.c}). If there is currently no interrupt
/barrelfish-master/doc/003-hake/
H A DHake.tex248 [ platform "ARMv7" [ "armv7" ]
249 ([ ("armv7", "/sbin/" ++ f) | f <- [ "cpu", "cpu.bin" ]])
744 \texttt{x86\_64}, \texttt{armv7}, \texttt{armv8},
/barrelfish-master/doc/023-coreboot/
H A Dcoreboot.tex351 \label{chap:armv7}

Completed in 258 milliseconds