(sym_lib_table
  (lib (name rgb-to-hdmi-rescue)(type Legacy)(uri ${KIPRJMOD}/rgb-to-hdmi-rescue.lib)(options "")(descr ""))
  (lib (name xc9572xl)(type Legacy)(uri ${KIPRJMOD}/xc9572xl.lib)(options "")(descr ""))
)