define core
  $(this)/rtl_top := picorv32
  $(this)/rtl_files := picorv32.v
endef