thanks for the pointer, code btw at https://github.com/mit-plv/fiat/tree/master/src/Narcissus
hannes _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/mirageos-devel
