Keags

> Protocol dependencies as an OS feature. The tricky issue here is who owns the protocol namespace. Who gets to write the protocol declaration/semantics perse and how does the OS...

> I wonder if there's a protocol spec for defining protocol specs that is general enough to define any protocol. TLA+ is the gold standard here.

We haven't tested it and certain features were developed with the assumption of the environment it runs in (GPIO for speaker feedback, WiFi exists and is managed by NMCLI). We...

The appropriate thing to do here is to not show any section if all of its subcomponents are pointers. we still want to group pointers because they get dereferenced to...

I'm rather opposed to reverting this improvement to Proxy. Doing so is undoing previous work in Proxy in order to avoid doing work that fundamentally needs to be done in...

Play distinct noise if ntp is unavailable.

> The install progress of what? Currently you can see install progress in the UI dashboard but if you do a package install from the CLI you don't get any...

Both would be nice actually. Sideloading refers to when you are installing a .s9pk that you have locally vs from a marketplace.

As an operating system, embassyd should be running as root. It pretty much has no other choice. We are already transitioning away from embassy-cli and embassy-sdk requiring root though.

Good point, it probably should be the case that all files are owned by the start9 user and thats the user that the containers run as as well