[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Minios-devel] Hello from Unikraft Team

Hey Anil,

you find our repos under:

The build tool and the core Unikernel libraries are in unikraft.git.
The best way for you to start porting is by creating an application repository for your ocaml-freestanding and some other repos for your libs (if you don't have them yet). I guess you want some basic libc functionality, for this purpose there is nolibc - sorry for the name conflict, we created our own and ported some of it code from Mini-OS - but you can also use newlib which is in an extra repo.

I recommend starting with
to see how things plug together. Maybe, you also want to try out to build helloworld with newlib.
Please also have a look to this manual that we wrote for developers:

Please feel free to ask questions on the mailing list if something is unclear.



On 06.12.2017 17:00, Anil Madhavapeddy wrote:
On 5 Dec 2017, at 17:34, Simon Kuenzer <simon.kuenzer@xxxxxxxxx> wrote:

We a proud to announce that Unikraft is finally open source and ready for your 
contribution! As we agreed in our project proposal, we are going to use this 
mailing list to receive patches and to have our discussions. In order to avoid 
confusion Unikraft's patches are prefixed. For more information, getting 
started, development plans, or contribution ideas, check out our Wiki pages: 

Thanks for all of your support! We are happy to be here!
We are looking forward to fruitful cooperation!

We're really happy to have you from the MirageOS project! :-)
Point us at a suitable repo with the build tool and we can take a shot at 
integrating it with ocaml-freestanding and the rest of the Mirage libs...

Minios-devel mailing list

Simon Kuenzer
シモン クゥンツァー
Research Scientist,
Networked Systems and Data Analytics Group
NEC Laboratories Europe, Network Research Division
Kurfuerstenanlage 36, D-69115 Heidelberg
Tel.     +49 (0)6221 4342-264
Fax:     +49 (0)6221 4342-5264
e-mail:  simon.kuenzer@xxxxxxxxx
NEC Europe Ltd | Registered Office: Athene, Odyssey
Business Park, West End Road, London, HA4 6QE, GB
Registered in England 2832014

Minios-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.