SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
arch: arm
bsp: xen_virtual
build-type: bsp
cflags: []
copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
cppflags: []
enabled-by: true
family: xen
includes: []
install:
- destination: ${BSP_INCLUDEDIR}
  source:
  - bsps/arm/xen/include/bsp.h
  - bsps/arm/xen/include/tm27.h
- destination: ${BSP_INCLUDEDIR}/bsp
  source:
  - bsps/arm/xen/include/bsp/irq.h
- destination: ${BSP_INCLUDEDIR}/dev/clock
  source:
  - bsps/include/dev/clock/arm-generic-timer.h
links:
- role: build-dependency
  uid: ../grp
- role: build-dependency
  uid: ../start
- role: build-dependency
  uid: abi
- role: build-dependency
  uid: ../optgtusevirt
- role: build-dependency
  uid: optgentmunmask
- role: build-dependency
  uid: optloadoff
- role: build-dependency
  uid: ../optmmusz
- role: build-dependency
  uid: optnocachelen
- role: build-dependency
  uid: optramlen
- role: build-dependency
  uid: optramori
- role: build-dependency
  uid: optzimghdr
- role: build-dependency
  uid: ../../obj
- role: build-dependency
  uid: ../../objirq
- role: build-dependency
  uid: ../../objmem
- role: build-dependency
  uid: ../../optcachedata
- role: build-dependency
  uid: ../../optcacheinst
- role: build-dependency
  uid: ../../opto2
- role: build-dependency
  uid: linkcmds
- role: build-dependency
  uid: ../../bspopts
source:
- 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/cp15/arm-cp15-set-ttb-entries.c
- bsps/arm/shared/start/bsp-start-memcpy.S
- bsps/arm/xen/console/console.c
- bsps/arm/xen/start/bspstart.c
- bsps/arm/xen/start/bspstarthooks.c
- bsps/arm/xen/start/bspstartmmu.c
- 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-gicv2.c
- bsps/shared/dev/irq/arm-gicv2-get-attributes.c
- bsps/shared/dev/serial/console-termios-init.c
- bsps/shared/dev/serial/console-termios.c
- bsps/shared/irq/irq-default-handler.c
- bsps/shared/start/bspfatal-default.c
- bsps/shared/start/bspreset-empty.c
- bsps/shared/start/gettargethash-default.c
- bsps/shared/start/sbrk.c
type: build
