Martin Stein ed370a8f5c Introduce gpio_drv function in run scripts ... Do not use automatic alias in the run tool for the name of the gpio-driver binary. Ref #2268		2017-02-23 14:54:50 +01:00
..
fiasco	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
foc	Introduce gpio_drv function in run scripts	2017-02-23 14:54:50 +01:00
hw	Introduce gpio_drv function in run scripts	2017-02-23 14:54:50 +01:00
linux	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
nova	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
okl4	Remove redundant boot modules from boot image	2016-12-23 16:52:09 +01:00
pistachio	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
sel4	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00