Our security model is quite different. It's modular: Shell is kept as simple as possible, while Keycard has the SE.
Thank you for providing answers to our questions, but when I checked the comparison table on your homepage
[screenshot], I was under the impression that Shell also has a SE and it's an open-source one
[it even mentions having its own usages], as opposed to Keycard.
