machine_hdrs = \
  atomic.h \
  bits.h \
  fdt.h \
  emulation.h \
  encoding.h \
  htif.h \
  mcall.h \
  mtrap.h \
  uart.h \
  uart16550.h \
  finisher.h \
  unprivileged_memory.h \
  vm.h \

machine_c_srcs = \
  fdt.c \
  mtrap.c \
  minit.c \
  htif.c \
  emulation.c \
  muldiv_emulation.c \
  uart.c \
  uart16550.c \
  finisher.c \
  misaligned_ldst.c \
  flush_icache.c \

machine_asm_srcs = \
  mentry.S \
