devices = declare_dependency(
  sources: ['vga.c', 'uart_16550.c', 'pic_8259.c'],
  include_directories: '.'
)