Re: Library unikernel or modularization of OSv kernel

2018-05-07 Thread Joe Duarte
Hi all – I'd call Geraldo's idea *exogenous tree-shaking*, where the code to shake out would not be application code, but external libraries, kernel modules, apis, syscalls, etc. This sounds good if OSv supports it – if it's modular enough along the right boundaries for such tree-shaking. Nadav

Re: Library unikernel or modularization of OSv kernel

2018-05-06 Thread Geraldo Netto
Hey Guys, Considering Dor/Nadav input, maybe we could approach it differently What if we could do a static analysis of application code to determine which syscalls/posix apis the application uses and then we only add the syscalls/posix interfaces that are really required? IMHO, Musl is flexible en

Re: Library unikernel or modularization of OSv kernel

2018-05-06 Thread Nadav Har'El
On Sun, May 6, 2018 at 7:52 AM, Dor Laor wrote: > On Sat, May 5, 2018 at 9:48 AM, Waldek Kozaczuk > wrote: > >> What if there was a way early into the booting process to load specific >> features of OSv, that right now are linked in as part of kernel, as >> libraries? For example if we mounted R

Re: Library unikernel or modularization of OSv kernel

2018-05-06 Thread Nadav Har'El
On Sat, May 5, 2018 at 7:48 PM, Waldek Kozaczuk wrote: > What if there was a way early into the booting process to load specific > features of OSv, that right now are linked in as part of kernel, as > libraries? For example if we mounted ROFS as early and possible we could > load other elements o

Re: Library unikernel or modularization of OSv kernel

2018-05-05 Thread Dor Laor
On Sat, May 5, 2018 at 9:48 AM, Waldek Kozaczuk wrote: > What if there was a way early into the booting process to load specific > features of OSv, that right now are linked in as part of kernel, as > libraries? For example if we mounted ROFS as early and possible we could > load other elements o

Re: Library unikernel or modularization of OSv kernel

2018-05-05 Thread Geraldo Netto
Hello Waldek/Friends! That would be great Waldek! Maybe some of those references might sound interesting/inspiring :) http://www.lisha.ufsc.br/pub/Frohlich_2001.pdf http://www.cse.unsw.edu.au/~ikuz/publications/jss.07.pdf https://docs.sel4.systems/CAmkES/ http://univis.uni-erlangen.de/prg?search=

Library unikernel or modularization of OSv kernel

2018-05-05 Thread Waldek Kozaczuk
What if there was a way early into the booting process to load specific features of OSv, that right now are linked in as part of kernel, as libraries? For example if we mounted ROFS as early and possible we could load other elements of the logic (configuration, ZFS, boost program options librar