Klemens Schölhorn 5fdadd244c Add makefile and config for the ml507 board ... The config is based on the u500vc707devkit config.		2018-04-11 20:09:05 +02:00
..
u500ml507devkit	Add makefile and config for the ml507 board	2018-04-11 20:09:05 +02:00
u500vc707devkit	platforms: fixup to new package names	2018-03-05 15:45:01 -08:00
vc707/iofpga	iofpga: add a vc707 chiplink slave target	2018-03-22 20:37:50 -07:00