search

Unikernel-Systems / unikernel.org

Community site for unikernel projects
http://unikernel.org
60 stars 23 forks source link

A couple of other unikernels #39

Open mor1 opened 8 years ago

mor1 commented 8 years ago

As discussed some time ago -- a couple of other unikernel systems produced by a project student of mine at Nottingham (@samcamwilliams) in the course of doing his final year undergrad project:

Possibly to add to the list of known unikernel systems? (He also produced an Erlang one as the actual project -- Sam, was that ever pushed to GitHub?)

amirmc commented 8 years ago

@samcamwilliams, would you be able submit a pull request?

Also, just to check, are those projects intended to continue (and attract other contributors)?

Best wishes, Amir

Sent via mobile

On 6 Sep 2016, at 19:21, Richard Mortier notifications@github.com wrote:

As discussed some time ago -- a couple of other unikernel systems produced by a project student of mine at Nottingham (@samcamwilliams) in the course of doing his final year undergrad project:

https://github.com/samcamwilliams/lisp-on-xen https://github.com/samcamwilliams/moo-on-xen Possibly to add to the list of known unikernel systems? (He also produced an Erlang one as the actual project -- Sam, was that ever pushed to GitHub?)

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

amirmc commented 8 years ago

Just saw the readme in each of those repos. Thanks for being clear, Sam! If they're going to remain as demos then maybe they don't belong here (unless there's some desire/reason to draw more attention to them).

The Erlang project sounds like it might useful though.

mor1 commented 8 years ago

(FWIW I think during the discussion we'd had (Mirage call a while back), we'd decided that they should probably be pointed to somewhere on unikernel.org but not, as you say, as full active projects.)