Searched refs:platform (Results 1 - 14 of 14) sorted by relevance

/seL4-test-master/kernel/tools/dts/
H A Dupdate-dts.sh70 platform=`echo $1| sed 's/^.*=//'`
71 echo "'$dtb'" = "'$platform'"
72 dtc -I dtb -O dts -o $2/$platform.dts.tmp $3/$dtb.dtb
73 echo "$LICENSE" > $2/$platform.dts
74 cat $2/$platform.dts.tmp >> $2/$platform.dts
75 rm $2/$platform.dts.tmp
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/
H A Dserial.h35 #error Unknown platform
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py130 help='YAML description of platform parameters (e.g.,'
140 platform = platform_sift.load_data(args.platform_filename[0]) variable
165 last_region = len(platform['memory'])
167 for region in platform['memory']:
220 .format(image=image, size=image_size, yaml=platform), status=1)
H A Dmake-uimage44 $PROGNAME: generate U-Boot payload for ARM platform
/seL4-test-master/
H A Dgriddle387 $PROGNAME --platform-help
393 --platform-help List supported target platforms and exit.
499 --long "${GETOPT_FLAGS:+$GETOPT_FLAGS,}"compiler:,help,platform-help \
530 (--platform-help)
531 MODE=platform-help
617 elif [ $MODE = platform-help ]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle387 $PROGNAME --platform-help
393 --platform-help List supported target platforms and exit.
499 --long "${GETOPT_FLAGS:+$GETOPT_FLAGS,}"compiler:,help,platform-help \
530 (--platform-help)
531 MODE=platform-help
617 elif [ $MODE = platform-help ]
/seL4-test-master/kernel/manual/parts/
H A Dbootup.tex72 platform configuration (devices) etc. In order to tell the initial thread
82 the current platform's configuration.
119 Depending on the architecture and platform there might be additional pieces of boot
126 chunk that has no data, any other types are platform or architecture specific. The
198 If the platform has an seL4-supported IOMMU, \texttt{numIOPTLevels} contains
203 On ARM if the platform has any available SMMU units the capabilities for them
205 capability from this region to a specific SMMU is platform specific.
H A Dthreads.tex454 registers available, of all types available on the hardware platform. On the ARM
457 On this platform therefore, \texttt{seL4\_NumHWBreakpoints} is defined as 10.
463 are defined for each target platform to reflect the number of available
517 register to provide single-stepping functionality. If the caller's hardware platform requires the
519 and return \texttt{true} in \texttt{bp\_was\_consumed}. If the underlying platform does not need a hardware
H A Dio.tex241 SMMU fault interrupts can be handled the same as other platform level interrupts.
274 to different devices. Each platform can define its own policy for how StreamIDs
H A Dobjects.tex382 as determined by the hardware platform, and usage of these objects
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Di2c.c82 #error Unknown Exynos based platform
175 #error Unknown Exynos based platform
697 #error Unknown Exynos based platform
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dl2c_310.c278 #error Unknown platform for L2C-310
/seL4-test-master/projects/sel4_projects_libs/libsel4dma/src/
H A Ddma.c32 #warning Unknown platform. DMA alignment defaulting to 32 bytes.
/seL4-test-master/tools/nanopb/generator/
H A Dnanopb_generator.py1829 if sys.platform == "win32":

Completed in 64 milliseconds