Shafqat Ullah

Hi @jroper, has there been any progress on this? What do you recommend to do in order to compile latest Akka artifacts with Graal? Is following the configs and method...

Hi @jrudolph thanks for your work! What's the latest thoughts along this? Also, is there any possibility overall throughput/latency performance will also improve relative to akka-http's current performance?

Thanks for the update @johanandren!

Yes, I meant the smallest compartment, which I assume will approximate the system’s overhead for each compartment instance. For example, WebAssembly is now being used for trusted computing and the...

Hi @LawrenceEsswood or anyone else, any insight on this will be much helpful! Thanks! Also, if you can share what is the typical launch latency of an enclave...

That is super helpful and thanks for such a prompt reply! I have skimmed through your CheriOS thesis. Will read it thoroughly soon. Objective is to understand the approaches and...

> On QEMU? Significantly faster than BSD. BSD is seconds to minutes (depending on a amount of tracing required). CheriOS is at least an order of magnitude faster. Fast enough...

Hi @LawrenceEsswood, a basic question - what's the memory overhead for just an integer in CHERI / CheriOS? Assuming additional overhead will be there due to capability-security? Or is it...

Thanks! I actually meant any primitive type for that matter: int, bool, char etc. I guess the first question is whether capability-security at all apply to that level in Cheri...

Wow - exactly as I would've imagined! Many thanks for the explanations. What's the future plan/roadmap for CheriOS in general? Is there any reference regarding that? Ideally I'd imagine something...