Gilles Peskine a8ade16ffd Gate secure element support by a separate config option
Secure element support has its own source file, and in addition
requires many hooks in other files. This is a nontrivial amount of
code, so make it optional (but default on).
2019-06-26 20:01:35 +02:00
..
2019-05-09 13:17:53 +01:00
2016-01-12 14:48:03 +00:00
2019-04-25 11:46:21 +01:00
2015-06-23 13:09:10 +02:00