add_library(
  arch_objs OBJECT
  vector.S
  gic_v2.c
)
