Le lundi, 16 novembre 2015 à 08:52, Jon Crowcroft a écrit : > another (probably redundant) on topic reference - switchware was one > a while back and was prob. the baseline for doing comms in OCaml > http://seclab.illinois.edu/wp-content/uploads/2011/04/AlexanderHKKSMGJNS98.pdf > > doesn't address the level of detail of abstraction we've been debating > though...
The foxnet project did that: http://www.cs.cmu.edu/~fox/foxnet.html Best, Daniel _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
