To reduce maintenance burden, we would like to remove seL4 support for the
KZM evaluation board, which is based on the freescale i.MX31 processor with
an ARM1136 core. Since this is the only ARMv6 platform supported by seL4,
this would also remove support for ARMv6.
We've previously sought feedback here, and in the seL4 discourse:
https://sel4.discourse.group/t/should-we-continue-to-support-armv6-and-kzm-…https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/EQ27WY…
We've now prepared an RFC to begin the formal process to remove KZM support:
https://sel4.atlassian.net/browse/RFC-8
If you have concerns about this, please raise them as soon as possible! If
you support the change, please also let us know, since that helps us
establish consensus.
Hello,
I'm trying to learn from the "sel4webserver" app here:
https://docs.sel4.systems/projects/sel4webserver/.
I believe I've been able to configure my network the way described on that
page, but I'm failing to build because I'm missing the docsite dependencies
here: https://github.com/seL4/docs/blob/master/tools/Dockerfile
I build all my camkes apps using docker's `make user` with these files
here: https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles.git
I'm sure there's a way to have a docker container with these camkes
dependencies as well as the docsite dependencies, but I'm not an expert
with docker.
Does anyone have any tips on how to make all these things play nice
together?
Cheers,
Michael Neises
Looks like the HACMS talk from Collins Aerospace at DEFCON is up.
This covers the system they built to fly aircraft on seL4, and
especially the tools they used to do so. It's pretty light on
technical content, but still quite impressive.
https://youtu.be/X9rsv4YIShY
--
William Leslie
Q: What is your boss's password?
A: "Authentication", clearly
Notice:
Likely much of this email is, by the nature of copyright, covered
under copyright law. You absolutely MAY reproduce any part of it in
accordance with the copyright law of the nation you are reading this
in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without
prior contractual agreement.
