genode

Author	SHA1	Message	Date
Stefan Kalkowski	811410fdbb	foc: update to current github version (fix #3402 ) Instead of hosting our outdated own fork, this commit now uses kernkonzept's nowadays available github source repositories. This hopefully simplifies updates, or cherry-picking single fixes.	2019-06-13 12:22:48 +02:00
Stefan Kalkowski	41fdb1d369	foc: update to recent revision r79 (fix #2884 )	2018-07-03 09:39:32 +02:00
Stefan Kalkowski	9e3fc9414f	foc: update to recent revision r72 (fix #2405 )	2017-05-31 13:16:08 +02:00
Alexy Gallardo Segura	c14fe7e6c7	foc: Odroid-X2 basic support Fix #1597	2015-07-21 09:28:25 +02:00