2 ms·Build your own? Its an ARM chip running a relative of SEL4. Would be an interesting project.by justincormack 10y agoBuild your own? Its an ARM chip running a relative of SEL4. Would be an interesting project.