Dave Murphy 20dc1324d4 increase devices to 32		2018-12-15 21:36:53 +00:00
..
gcc-8.2.0.patch	update to gcc 8.2	2018-12-15 21:35:15 +00:00
gdb-8.2.patch	add gdb 8.2 patch	2018-12-15 21:36:53 +00:00
newlib-3.0.0.patch	increase devices to 32	2018-12-15 21:36:53 +00:00