12 Commits

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	f0d28eeca7	foc: add support for Raspberry Pi 3 ... Ref #3260	2019-05-27 14:52:51 +02:00
Alexander Boettcher	b75307b070	foc/x86: implement vm_session interface ... Issue #3111	2019-04-01 19:33:51 +02:00
Stefan Kalkowski	4c492a3be7	imx7d_sabre: add board for sel4 and foc ... Ref #3251	2019-04-01 19:33:49 +02:00
Stefan Kalkowski	c65860ee53	enable i.MX6 Quad Sabrelite board for hw and foc	2019-01-30 13:35:28 +01:00
Stefan Kalkowski	41fdb1d369	foc: update to recent revision r79 (fix #2884)	2018-07-03 09:39:32 +02:00
Stefan Kalkowski	10e2e223cd	foc: remove obsolete features (ref #2405) ... Removes the following Fiasco.OC specific features: * GDB extensions for Fiasco.OC * i.MX53 support for Fiasco.OC * Kernel debugger terminal driver * Obsolete interface Native_pd * Obsolete function of interface Native_cpu	2017-05-31 13:16:08 +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
Stefan Kalkowski	89255c3979	remove Versatile Express board (Fix #1611)	2015-07-07 19:48:06 +02:00
Reinier Millo Sánchez	c60d65150e	base-foc: support for Raspberry Pi ... Fixes #1596	2015-07-06 12:22:26 +02:00
Norman Feske	ca971bbfd8	Move repositories to 'repos/' subdirectory ... This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082	2014-05-14 16:08:00 +02:00