Retrieved 8 June 2016. ↑ "iRCCE: A Non-blocking Communication Extension to the RCCE Communication Library for the Intel Single-Chip Cloud Computer" (PDF). Retrieved 8 June 2016. ↑ "Erlang on Xen: at the heart of super-elastic clouds". Retrieved 31 August 2015. ↑ "MirageOS: A programming framework for building type-safe, modular systems".