Re: [MirageOS-devel] On unikernel size

2015-11-23 Thread Wassim Haddad
Hi Anil, Thanks a lot for the comments! We'll try to use ocamlclean Regards, Wassim H. On Monday, November 23, 2015, Anil Madhavapeddy wrote: > Hi Wassim, > > It's definitely possible to get the image size of MirageOS builds down > from where they are right now. As background, there are two

Re: [MirageOS-devel] On unikernel size

2015-11-23 Thread Wassim Haddad
Hi Amir, Thanks for the note. I just added it to the agenda. Regards, Wassim H. On Wednesday, November 18, 2015, Amir Chaudhry wrote: > Hello Wassim, > > There are likely further things that can be done to reduce image size but > I’m not sure of the status of that work. It might be time to r

Re: [MirageOS-devel] On unikernel size

2015-11-23 Thread Anil Madhavapeddy
Hi Wassim, It's definitely possible to get the image size of MirageOS builds down from where they are right now. As background, there are two ways to build unikernel images: - Native code compilation: this generates fast x86_64/ARM unikernels that link against the OCaml 'libasmrun' runtime to

Re: [MirageOS-devel] On unikernel size

2015-11-18 Thread Amir Chaudhry
Hello Wassim, There are likely further things that can be done to reduce image size but I’m not sure of the status of that work. It might be time to revisit some of that to see where it stands. If you add an agenda item to the next MirageOS call (and join the call too) [1], then we can rememb

[MirageOS-devel] On unikernel size

2015-11-13 Thread Wassim Haddad
Dear colleagues, A question please about the size of unikernel images: I built mirage console "hello world" and the stripped disk image size is 3.2 MBytes. The runtime memory required to run the image is ~ 9 MBytes. Is it possible to reduce futher the memory footprint? Thanks much! Wassim H. _