Hi folks,
There are a number of boards we currently support that we can no
longer test, as the boards we had have died.
Some of these have been out of production for more than five years.
I'm intending to write up deprecation RFCs for any that noone is
using -- please reply if you still have software you support on any
of the SoCs on these boards:
Arndale Exynos 5250 -- Introduced 2012, last available in 2018
Odroid X Exynos 4412 -- introduced 2012, last available 2018
Beagleboard Xm DM3730 -- introduced 2014, still available as
new-old-stock, but no longer
manufactured.
Hikey960 Kirin 620 -- Introduced 2017, last available
2020
Inforce IFC6410 Snapdragon -- Introduced 2013; no userspace
support at present
--
Dr Peter Chubb https://trustworthy.systems/
Trustworthy Systems Group CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
