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.
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.
This is an unrelated research project, separate from Fuchsia.
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.
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…
Actually, it is a coincidince. Picking names is hard, and I actually had no idea this project existed before I named ours.
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…
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…
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,…
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's…
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…
Ah, darn. Sorry -- picking names is hard.
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…
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…
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…
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.
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.
This is an unrelated research project, separate from Fuchsia.
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.
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…
Actually, it is a coincidince. Picking names is hard, and I actually had no idea this project existed before I named ours.
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…
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…
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,…
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's…
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…
Ah, darn. Sorry -- picking names is hard.
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…
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…
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…