From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Unikernel / Ada
Date: Wed, 01 Mar 2017 13:56:39 -0800
Date: 2017-03-01T13:56:39-08:00 [thread overview]
Message-ID: <87wpc8fyp4.fsf@nightsong.com> (raw)
In-Reply-To: 7023af9f-7429-448d-b290-03e0c32772f7@googlegroups.com
volkert@komponentenwerkstatt.de writes:
> https://mirage.io/wiki/overview-of-mirage
> I find this model interesting for GNAT. Maybe there are already some
> ideas around?
No idea about GNAT, but there are similar setups for Haskell (halvm.org)
and Erlang (ErlangOnXen.org). There may be other things like that too.
prev parent reply other threads:[~2017-03-01 21:56 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-03-01 18:52 Unikernel / Ada volkert
2017-03-01 21:20 ` Randy Brukardt
2017-03-01 21:58 ` Niklas Holsti
2017-03-01 22:18 ` Simon Wright
2017-03-04 12:15 ` Volkert
2017-03-01 21:39 ` Adrian-Ken Rueegsegger
2017-03-01 21:51 ` Dmitry A. Kazakov
2017-03-01 22:12 ` Simon Wright
2017-03-04 9:09 ` Volkert
2017-03-01 21:56 ` Paul Rubin [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox