Searched refs:platform (Results 1 - 14 of 14) sorted by relevance
/seL4-test-master/kernel/tools/dts/ |
H A D | update-dts.sh | 70 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 D | serial.h | 35 #error Unknown platform
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 130 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 D | make-uimage | 44 $PROGNAME: generate U-Boot payload for ARM platform
|
/seL4-test-master/ |
H A D | griddle | 387 $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 D | griddle | 387 $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 D | bootup.tex | 72 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 D | threads.tex | 454 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 D | io.tex | 241 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 D | objects.tex | 382 as determined by the hardware platform, and usage of these objects
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 82 #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 D | l2c_310.c | 278 #error Unknown platform for L2C-310
|
/seL4-test-master/projects/sel4_projects_libs/libsel4dma/src/ |
H A D | dma.c | 32 #warning Unknown platform. DMA alignment defaulting to 32 bytes.
|
/seL4-test-master/tools/nanopb/generator/ |
H A D | nanopb_generator.py | 1829 if sys.platform == "win32":
|
Completed in 64 milliseconds