# -*- makefile -*-

lib_LIBRARIES = mach_hal

include_HEADERS = hal_machperiph.h hal_gpio.h hal_gpio_def.h

mach_hal_SOURCES = hal.c startup.c hal_machperiph.c hal_reserve_usb_ram.c hal_gpio.c