Matthew Kennedy 5d43ddf0b0 Build prometheus with makefiles instead of batch scripts (#1020) ... * use makefiles instead of batch * add to ci * put batch files back, but minimum logic * default to release * debug level opt too		2019-11-29 02:39:30 -05:00
..
boards	Build prometheus with makefiles instead of batch scripts (#1020)	2019-11-29 02:39:30 -05:00
engines	v12	2019-11-29 01:35:45 -05:00
stm32f0egt	EFI_CONSOLE_UART_DEVICE, flash->hw_ports, Fix TLE6240 and misc.fixes (#793)	2019-05-05 11:06:27 -04:00
stm32f1egt	CONFIG_RESET_SWITCH_PORT flexibility	2019-04-06 08:41:37 -04:00
stm32f4ems	works on f4 (#1021)	2019-11-21 15:45:17 -05:00
stm32f7ems	this is probably needed for F7	2019-11-20 01:15:43 -05:00
chconf_common.h	profile all the things	2019-10-13 13:14:08 -07:00