13 ms·
Maybe an ARM desktop once multi core is implemented and verified. Verifying the whole thing for x86 seems scary. It is a kind of undertaking that gives normal p
by bjoli 3y ago
Maybe an ARM desktop once multi core is implemented and verified. Verifying the whole thing for x86 seems scary. It is a kind of undertaking that gives normal people a glimpse of how ADHD is. It is a huge task and I would not know how to structure it, where to start and how to predict and plan all the intermediate steps.
- snvzz 3y ago>Maybe an ARM desktop once multi core is implemented and verified. The verification story is currently stronger with RISC-V. Considering close cooperation between seL4 and RISC-V projects, ARM aka the legacy architecture is unlikely to be a priority anytime soon.
- hedora 3y agoThe only thing that works is modularity. Write down all the modules, then write down their dependencies on each other. Make sure the dependency graph is as close to a line as possible. This is called “layering” in software engineering. Now, figure out how to prove each layer correct.
- bjoli 3y agoOf course. But that approach was complex enough for risc-v with is a much much simpler architecture