Submissions from openmirage.org

		Mirage OS 2014 review: IPv6, TLS, Irmin, Jitsu and community growth (openmirage.org)
		64 points by lelf on Jan 14, 2015 \| past \| 2 comments
		Mirage 2014 review: IPv6, TLS, Irmin, Jitsu and community growth (openmirage.org)
		17 points by amirmc on Dec 31, 2014 \| past \| 1 comment
		Functional Operating System and Security Protocol Engineering (openmirage.org)
		115 points by mrry on Dec 27, 2014 \| past \| 9 comments
		Mirage: Tracing and Profiling (openmirage.org)
		2 points by tzar on Dec 19, 2014 \| past
		Fitting the modular Mirage TCP/IP stack together (openmirage.org)
		4 points by luu on Nov 11, 2014 \| past
		Vchan: Low-latency inter-VM communication channels (openmirage.org)
		2 points by godisdad on July 23, 2014 \| past
		Mirage v2.0: a recap of the new features (openmirage.org)
		53 points by mrry on July 22, 2014 \| past \| 12 comments
		Building an ARMy of Xen unikernels (openmirage.org)
		10 points by mwcampbell on July 22, 2014 \| past
		Using Irmin to add fault-tolerance to the Xenstore database (openmirage.org)
		8 points by amirmc on July 21, 2014 \| past \| 1 comment
		Irmin: Git-like distributed, branchable storage (openmirage.org)
		147 points by amirmc on July 18, 2014 \| past \| 25 comments
		Modular Foreign Function Bindings (openmirage.org)
		2 points by yallop on July 16, 2014 \| past
		OCaml-TLS: the protocol implementation and mitigations to known attacks (openmirage.org)
		59 points by hannesm on July 14, 2014 \| past \| 2 comments
		OCaml-TLS: ASN.1 and notation embedding (openmirage.org)
		87 points by avsm on July 11, 2014 \| past \| 11 comments
		OCaml-TLS: Adventures in X.509 certificate parsing and validation (openmirage.org)
		5 points by edwintorok on July 10, 2014 \| past
		OCaml-TLS: building the nocrypto library core (openmirage.org)
		10 points by amirmc on July 9, 2014 \| past
		Introducing Transport Layer Security in pure OCaml (openmirage.org)
		106 points by tizoc on July 8, 2014 \| past \| 43 comments
		Running Xen on the Cubieboard2 (openmirage.org)
		3 points by edwintorok on May 15, 2014 \| past
		MirageOS: A Unikernel For The Xen Hypervisor (openmirage.org)
		99 points by godisdad on May 10, 2014 \| past \| 52 comments
		Mirage 1.1.0: the eat-your-own-dogfood release (openmirage.org)
		1 point by edwintorok on Feb 11, 2014 \| past
		MirageOS: developer tools of tomorrow (openmirage.org)
		1 point by edwintorok on Jan 15, 2014 \| past
		Mirage OS (openmirage.org)
		3 points by lelf on Dec 20, 2013 \| past \| 1 comment
		Mirage 1.0: not just a hallucination (openmirage.org)
		8 points by conductor on Dec 9, 2013 \| past
		Mirage travels to OSCON'13: a trip report (openmirage.org)
		1 point by edwintorok on Aug 12, 2013 \| past
		Creating Xen block devices with Mirage (openmirage.org)
		2 points by edwintorok on July 20, 2013 \| past
		Openmirage: home (openmirage.org)
		3 points by bowyakka on Dec 5, 2012 \| past
		Node.js as backend for Mirage Cloud OS? (openmirage.org)
		4 points by nathanwdavis on May 24, 2011 \| past \| 1 comment
		Mirage on Xen: OS No More (openmirage.org)
		3 points by cygwin98 on April 27, 2011 \| past
		Mirage : OS runs on top of Xen Hypervisor, written in OCaml (openmirage.org)
		1 point by cygwin98 on April 26, 2011 \| past

HN For You