Re: Support for Raspberry Pi 2 B and/or Odroid C1
Matthias Lange <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi, On 03/23/2015 11:43 AM, daniel krefft wrote: > Hi there, > > we're are interested in running Fiasco.OC on the Raspberry Pi 2 > (Broadcom BCM2836 ARM Cortex-A7) or Odroid C1 (Amlogic S805 Cortex > A5). Is there any support for the boards yet? No, there is no support (yet) for the aforementioned boards. We had a look at the BCM2836, but it instead of a GIC it features a custom interrupt controller. The C1 also looks interesting, but we had no time yet to have a look at it. So unfortunately I can give you no ETA for these boards. Best, Matthias. -- Matthias Lange, [email protected], +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
signature.asc
(application/pgp-signature, 181 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlURGr8ACgkQOeivt3XjYv96TwCgxilRnqXWVE73r6tHOcrWyV0U aF8An21MMKiniRMAMHs6Pkb9geImB0zo =o2Gl -----END PGP SIGNATURE-----