jtgans

5 ms·

1.
by jtgans 4y ago
Something else. We are actually sandboxing dynamically loaded applications in a hybrid CAmkES environment, while using CAmkES as a way to help statically analyze and componentize the rest of the userland services.
2.
by jtgans 4y ago
TL from the project here: you are absolutely correct. KataOS is for embedded systems research, whereas Fuchsia is more of a batteries included system designed for consumer devices.
3.
by jtgans 4y ago
This is an unrelated research project, separate from Fuchsia.
4.
by jtgans 4y ago
Ahh, if only. No, nobody got promoted for this. This was me and Sam working hard to get this resesrch project out as open source.
5.
by jtgans 4y ago
Yeahh, sorry! We had a short timeframe and wanted to get something out for something most folks had, so the Pi seemed like an obvious target. That being said, seL4 has a hard requirement for an MMU, so I'm not sure an STM32 would work
6.
by jtgans 4y ago
Actually, it is a coincidince. Picking names is hard, and I actually had no idea this project existed before I named ours.
7.
by jtgans 4y ago
Well, as the TL for this engineer-driven research prject, I have to say it's quite demotivating to read these sorts of comments. As an engineer, I don't get much say in what other parts of the company do, but unfortunately, I have
8.
by jtgans 4y ago
Absolutely, and this is specifically why I chose to start with seL4 and use Rust for the userland we built. seL4 has a verification framework already in place, so we can use it to ensure our system design and implementation is good. We&#x27
9.
by jtgans 4y ago
Actually, this is an engineer-driven project in research, not a PM driven project. The team and I have quite a lot of passion for this project and are doing everything we can to fight that kind of thing from happening, which is why we open
10.
by jtgans 4y ago
Ahh, that's unfortunate. Naming things is hard. If I had realized that was onenof the projects' prior names, I probably wouldn't have gone with that name. TBH, I have huge respect for LoseTHos / SparrowOS / TempleOS
11.
by jtgans 4y ago
Actually, yes. We ported the seL4 crate to the latest kernel and modified it to better fit our needs. It's part of the OSS release, and we're hoping we can contribute it back to that project once we've done some more polishin
12.
by jtgans 4y ago
Ah, darn. Sorry -- picking names is hard.
13.
by jtgans 4y ago
TL from the project here: yeah, I should have done more work on the wording -- we locked the content too fast, and I pushed a tad too hard at getting the post out. :P Side-channel attacks are out of scope for the security model of both seL4
14.
by jtgans 4y ago
TL from the project here: you're right, the changes to the kernel are not yet formally verified, but that's on the roadmap -- there's quite a lot of work that has been done here, and tons more to come. The vast majority of ch
15.
by jtgans 4y ago
TL for KataOS here. Yes, the actual point of the announcement is to get the word out about the project. We want to make it as open as possible, and while we have some hurdles with getting the entire system out in a collaborative fashion, we