Thanks OP for adding it here!
383 karma · joined January 31, 2010
Thanks OP for adding it here!
Genode (already mentioned in another comment) [1] came out of the TU Dresden group with some nice ideas around managing compartmentalized systems. Kernkonzept [2] is a startup commercializing the L4Re microkernel.
[1] https://wiki.xenproject.org/wiki/Mini-OS [2] https://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xens...
Clearly unbiased opinion. /s
And then you look at the actual rules (https://en.wikipedia.org/wiki/Popular_initiative_(Switzerlan...): "A double majority of people and cantons is required to change the constitution."
--> Swiss cantons are split up historically, not by population, similar to US states. The conservative, low-pop cantons can hold the progressives hostage on anything they don't like because even if you get the liberal cities behind you that is still way beyond the majority of cantons.