// user-configured hardware description

#error "hw/user.h not configured!"