SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
build-type: objects
cflags: []
copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
cppflags: []
cxxflags: []
enabled-by: true
includes: []
install:
- destination: ${BSP_INCLUDEDIR}
  source:
  - bsps/arm/fvp/include/bsp.h
  - bsps/arm/fvp/include/tm27.h
- destination: ${BSP_INCLUDEDIR}/bsp
  source:
  - bsps/arm/fvp/include/bsp/irq.h
- destination: ${BSP_INCLUDEDIR}/dev/clock
  source:
  - bsps/include/dev/clock/arm-generic-timer.h
links: []
source:
- bsps/arm/fvp/console/console.c
- bsps/arm/fvp/console/printk-support.c
- bsps/arm/fvp/start/bspreset.c
- bsps/arm/fvp/start/bspstart.c
- bsps/arm/fvp/start/bspstarthooks.c
- bsps/arm/fvp/start/pmsa-sections.c
- bsps/arm/shared/cache/cache-cp15.c
- bsps/arm/shared/cache/cache-v7ar-disable-data.S
- bsps/arm/shared/clock/arm-generic-timer-aarch32.c
- bsps/arm/shared/cp15/arm-cp15-set-exception-handler.c
- bsps/arm/shared/start/bsp-start-memcpy.S
- bsps/shared/dev/btimer/btimer-cpucounter.c
- bsps/shared/dev/clock/arm-generic-timer.c
- bsps/shared/dev/getentropy/getentropy-cpucounter.c
- bsps/shared/dev/irq/arm-gicv3.c
- bsps/shared/dev/serial/console-termios.c
- bsps/shared/irq/irq-default-handler.c
- bsps/shared/start/bspfatal-default.c
- bsps/shared/start/bspgetworkarea-default.c
- bsps/shared/start/gettargethash-default.c
- bsps/shared/start/sbrk.c
- bsps/shared/start/stackalloc.c
type: build