Re: [osv-dev] Building customized kernel

2020-06-11 Thread Dor Laor
On Thu, Jun 11, 2020 at 6:33 AM Waldek Kozaczuk wrote: > > > On Thursday, June 11, 2020 at 2:25:06 AM UTC-4 Pekka Enberg wrote: > >> Hi Dor, >> >> On Thu, Jun 11, 2020 at 8:21 AM Dor Laor wrote: >> >>> Waldek, can you please describe what's your motivation in shrinking >>> the size of the

Re: [osv-dev] Building customized kernel

2020-06-11 Thread Waldek Kozaczuk
On Thursday, June 11, 2020 at 2:25:06 AM UTC-4 Pekka Enberg wrote: > Hi Dor, > > On Thu, Jun 11, 2020 at 8:21 AM Dor Laor wrote: > >> Waldek, can you please describe what's your motivation in shrinking >> the size of the kernel? Compared for example to modern RAM and also >> to the JVM that

Re: [osv-dev] Building customized kernel

2020-06-11 Thread Pekka Enberg
Hi Dor, On Thu, Jun 11, 2020 at 8:21 AM Dor Laor wrote: > Waldek, can you please describe what's your motivation in shrinking > the size of the kernel? Compared for example to modern RAM and also > to the JVM that many times will be there, the current size is already > 'small enough', isn't it?

Re: [osv-dev] Building customized kernel

2020-06-10 Thread Dor Laor
Waldek, can you please describe what's your motivation in shrinking the size of the kernel? Compared for example to modern RAM and also to the JVM that many times will be there, the current size is already 'small enough', isn't it? On Wed, Jun 10, 2020 at 9:55 PM Waldek Kozaczuk wrote: >

[osv-dev] Building customized kernel

2020-06-10 Thread Waldek Kozaczuk
Imagine we wanted to allow building a kernel that is customized to a specific app - in other words, it provides more-less only the functionality needed by the aforementioned app and nothing more. Please note that one of the previous conversations was about creating "microVM" version of the