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.
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Wed 5 Mar, 7:00am UTC.
For your local date and time please see https://sel4.systems/contact/.
Zoom link: https://unsw.zoom.us/j/82640784431
Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
Mon 9-5
Wed 2-5
Fri 9-5
birgit(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>
