> As an aside, it is sickening that so many simple displays and dedicated devices with simple UIs that could be implemented as static scenarios using proper cap

> As an aside, it is sickening that so many simple displays and dedicated devices with simple UIs that could be implemented as static scenarios using proper capability-based multiserver architectures (such as the leading seL4 / LionsOS) do instead use complicated software stacks based on Linux (and sometimes even worse, Windows). This has been a thing since the 90s, maybe longer. I remember walking through Caesars Palace (Las Vegas, NV) circa 1999 and seeing a BSOD on several of their screens. People will always make expedient choices as long as it works well enough most of the time.