public inbox for kvm@vger.kernel.org
 help / color / mirror / Atom feed
* memory hotplug for guests?
@ 2007-04-04 11:13 Tomasz Chmielewski
       [not found] ` <4613886F.5070408-Nem3ZqsbT/g@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Tomasz Chmielewski @ 2007-04-04 11:13 UTC (permalink / raw)
  To: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

Does KVM allow something like "memory hotplug" for its guests?


For example, lets says you are running several guests, and would like to 
start yet another one for a while - but have no free memory left.


Obviously, your guests are so important that you don't want to stop them 
- so you simply "hotplug remove" memory from a guest that has a lot of 
free memory left - and start a new guest.

When that new guest is no longer needed, and is stopped, you can 
"hotplug add" memory to the guest it was previously removed from.

Guest's kernel would of course need to support memory hotplugging, too.


Is it possible with KVM? If not, is such a feature planned?

I noticed it was only mentioned once or twice on the list:

http://article.gmane.org/gmane.comp.emulators.kvm.devel/712/

"Well, the _interface_ supports removing, the implementation does not :)

Everything was written in mind to allow memory hotplug."



-- 
Tomasz Chmielewski
http://wpkg.org

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found] ` <4613886F.5070408-Nem3ZqsbT/g@public.gmane.org>
@ 2007-04-04 11:42   ` Dor Laor
       [not found]     ` <64F9B87B6B770947A9F8391472E032160B318D11-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Dor Laor @ 2007-04-04 11:42 UTC (permalink / raw)
  To: Tomasz Chmielewski, kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

>Does KVM allow something like "memory hotplug" for its guests?

It does not support.

>
>
>For example, lets says you are running several guests, and would like
to
>start yet another one for a while - but have no free memory left.
>

We have another solution for it that will soon be pushed into the
kernel:
It is the balloon driver solution.
Each guest runs a balloon driver, when the host needs to free up memory
a daemon with certain policy asks some of the guests to inflate their
balloon,
KVM frees their ballooned pages and the host free memory increases.
When the memory pressure relives, the balloons get deflate command.


>
>Obviously, your guests are so important that you don't want to stop
them
>- so you simply "hotplug remove" memory from a guest that has a lot of
>free memory left - and start a new guest.
>
>When that new guest is no longer needed, and is stopped, you can
>"hotplug add" memory to the guest it was previously removed from.
>
>Guest's kernel would of course need to support memory hotplugging, too.
>
>
>Is it possible with KVM? If not, is such a feature planned?
>
>I noticed it was only mentioned once or twice on the list:
>
>http://article.gmane.org/gmane.comp.emulators.kvm.devel/712/
>
>"Well, the _interface_ supports removing, the implementation does not
:)
>
>Everything was written in mind to allow memory hotplug."
>
>
>
>--
>Tomasz Chmielewski
>http://wpkg.org
>
>-----------------------------------------------------------------------
--
>Take Surveys. Earn Cash. Influence the Future of IT
>Join SourceForge.net's Techsay panel and you'll get the chance to share
>your
>opinions on IT & business topics through brief surveys-and earn cash
>http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVD
EV
>_______________________________________________
>kvm-devel mailing list
>kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@public.gmane.org
>https://lists.sourceforge.net/lists/listinfo/kvm-devel

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]     ` <64F9B87B6B770947A9F8391472E032160B318D11-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
@ 2007-04-05 10:16       ` Heiko Carstens
       [not found]         ` <20070405101608.GB8025-Pmgahw53EmNLmI7Nx2oIsGnsbthNF6/HVpNB7YpNyf8@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Heiko Carstens @ 2007-04-05 10:16 UTC (permalink / raw)
  To: Dor Laor; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

> >For example, lets says you are running several guests, and would like
> to
> >start yet another one for a while - but have no free memory left.
> >
> 
> We have another solution for it that will soon be pushed into the
> kernel:
> It is the balloon driver solution.
> Each guest runs a balloon driver, when the host needs to free up memory
> a daemon with certain policy asks some of the guests to inflate their
> balloon,
> KVM frees their ballooned pages and the host free memory increases.
> When the memory pressure relives, the balloons get deflate command.

You probably want to have a look at arch/s390/mm/cmm.c which is
exactly doing what you want. Of course the message interface to the
hypervisor is different to what you want to do.

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]         ` <20070405101608.GB8025-Pmgahw53EmNLmI7Nx2oIsGnsbthNF6/HVpNB7YpNyf8@public.gmane.org>
@ 2007-04-05 11:52           ` Dor Laor
       [not found]             ` <64F9B87B6B770947A9F8391472E032160B319410-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Dor Laor @ 2007-04-05 11:52 UTC (permalink / raw)
  To: Heiko Carstens; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

>> >For example, lets says you are running several guests, and would
like
>> to
>> >start yet another one for a while - but have no free memory left.
>> >
>>
>> We have another solution for it that will soon be pushed into the
>> kernel:
>> It is the balloon driver solution.
>> Each guest runs a balloon driver, when the host needs to free up
memory
>> a daemon with certain policy asks some of the guests to inflate their
>> balloon,
>> KVM frees their ballooned pages and the host free memory increases.
>> When the memory pressure relives, the balloons get deflate command.
>
>You probably want to have a look at arch/s390/mm/cmm.c which is
>exactly doing what you want. Of course the message interface to the
>hypervisor is different to what you want to do.

Gee, thanks, I wasn't aware of it. I wrote the Linux driver, not yet
ready for mainline. This might change things and I'll might use/change
the cmm.
It will take a while because my queue is jammed with too much stuff.

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]             ` <64F9B87B6B770947A9F8391472E032160B319410-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
@ 2007-04-05 12:28               ` Arnd Bergmann
       [not found]                 ` <200704051428.17198.arnd-r2nGTMty4D4@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Arnd Bergmann @ 2007-04-05 12:28 UTC (permalink / raw)
  To: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

On Thursday 05 April 2007, Dor Laor wrote:
> >> >For example, lets says you are running several guests, and would
> like
> >> to
> >> >start yet another one for a while - but have no free memory left.
> >> >
> >>
> >> We have another solution for it that will soon be pushed into the
> >> kernel:
> >> It is the balloon driver solution.
> >> Each guest runs a balloon driver, when the host needs to free up
> memory
> >> a daemon with certain policy asks some of the guests to inflate their
> >> balloon,
> >> KVM frees their ballooned pages and the host free memory increases.
> >> When the memory pressure relives, the balloons get deflate command.
> >
> >You probably want to have a look at arch/s390/mm/cmm.c which is
> >exactly doing what you want. Of course the message interface to the
> >hypervisor is different to what you want to do.
> 
> Gee, thanks, I wasn't aware of it. I wrote the Linux driver, not yet
> ready for mainline. This might change things and I'll might use/change
> the cmm.
> It will take a while because my queue is jammed with too much stuff.

Another driver you might want to look at is the Xen balloon driver:
http://81.161.245.2/lxr/http/source/linux-2.6-xen-sparse/drivers/xen/balloon/balloon.c

The s390 driver is probably a better example though. One thing the
Xen one got wrong is that its interface requires you do an hcall in
order to get back a page that you gave up to the host. On s390, it
simply maps the host empty_zero_page as COW into the guest like
the initial memory, so you get a new page back with the regular
method whenever you write to the guest real page.

	Arnd <><

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]                 ` <200704051428.17198.arnd-r2nGTMty4D4@public.gmane.org>
@ 2007-04-05 12:39                   ` Avi Kivity
       [not found]                     ` <4614EE12.7060702-atKUWr5tajBWk0Htik3J/w@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Avi Kivity @ 2007-04-05 12:39 UTC (permalink / raw)
  To: Arnd Bergmann; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

Arnd Bergmann wrote:
>
> Another driver you might want to look at is the Xen balloon driver:
> http://81.161.245.2/lxr/http/source/linux-2.6-xen-sparse/drivers/xen/balloon/balloon.c
>
> The s390 driver is probably a better example though. One thing the
> Xen one got wrong is that its interface requires you do an hcall in
> order to get back a page that you gave up to the host. 

Er, that's what we do :)

> On s390, it
> simply maps the host empty_zero_page as COW into the guest like
> the initial memory, so you get a new page back with the regular
> method whenever you write to the guest real page.
>   

This has the advantage of surviving a guest reboot, but the disadvantage 
of not allowing the host to nack the request.

-- 
error compiling committee.c: too many arguments to function


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]                     ` <4614EE12.7060702-atKUWr5tajBWk0Htik3J/w@public.gmane.org>
@ 2007-04-05 12:50                       ` Dor Laor
       [not found]                         ` <64F9B87B6B770947A9F8391472E032160B31944E-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Dor Laor @ 2007-04-05 12:50 UTC (permalink / raw)
  To: Avi Kivity, Arnd Bergmann; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

>Arnd Bergmann wrote:
>>
>> Another driver you might want to look at is the Xen balloon driver:
>> http://81.161.245.2/lxr/http/source/linux-2.6-xen-
>sparse/drivers/xen/balloon/balloon.c
>>
>> The s390 driver is probably a better example though. One thing the
>> Xen one got wrong is that its interface requires you do an hcall in
>> order to get back a page that you gave up to the host.
>
>Er, that's what we do :)

I don't think it a disadvantage since it's happens rarely.
It's not performance sensitive thing.
Never the less it's worth learning/copying from the alternatives.

Currently the only memory-over-commit mechanism is the balloon.
In the future we will add all the wise spectrum of host demand pages,
shared pages, etc.

>
>> On s390, it
>> simply maps the host empty_zero_page as COW into the guest like
>> the initial memory, so you get a new page back with the regular
>> method whenever you write to the guest real page.
>>
>
>This has the advantage of surviving a guest reboot, but the
disadvantage
>of not allowing the host to nack the request.
>
>--
>error compiling committee.c: too many arguments to function
>
>
>-----------------------------------------------------------------------
--
>Take Surveys. Earn Cash. Influence the Future of IT
>Join SourceForge.net's Techsay panel and you'll get the chance to share
>your
>opinions on IT & business topics through brief surveys-and earn cash
>http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVD
EV
>_______________________________________________
>kvm-devel mailing list
>kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@public.gmane.org
>https://lists.sourceforge.net/lists/listinfo/kvm-devel

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]                         ` <64F9B87B6B770947A9F8391472E032160B31944E-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
@ 2007-04-05 14:17                           ` Arnd Bergmann
       [not found]                             ` <200704051617.18936.arnd-r2nGTMty4D4@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Arnd Bergmann @ 2007-04-05 14:17 UTC (permalink / raw)
  To: Dor Laor; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

On Thursday 05 April 2007, Dor Laor wrote:
> Currently the only memory-over-commit mechanism is the balloon.
> In the future we will add all the wise spectrum of host demand pages,
> shared pages, etc.

Ok, just as another hint: you should definitely take a look at
pfault_interrupt() in arch/s390/mm/fault.c, which manages notifications
about host memory manangement, so that the guest can put a task to
sleep that accesses a page on the host block device, instead of suspending
the entire guest, while waiting for the page to come back.

arch/s390/mm/extmem.c has another very interesting concept, though the
hcall interfaces used there are not as flexible as they should be in
kvm. It's basically about mapping host files into the guest real address
space, e.g. for shared memory between guests.

	Arnd <><

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]                             ` <200704051617.18936.arnd-r2nGTMty4D4@public.gmane.org>
@ 2007-04-05 14:31                               ` Avi Kivity
       [not found]                                 ` <46150835.80700-atKUWr5tajBWk0Htik3J/w@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Avi Kivity @ 2007-04-05 14:31 UTC (permalink / raw)
  To: Arnd Bergmann; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

Arnd Bergmann wrote:
> On Thursday 05 April 2007, Dor Laor wrote:
>   
>> Currently the only memory-over-commit mechanism is the balloon.
>> In the future we will add all the wise spectrum of host demand pages,
>> shared pages, etc.
>>     
>
> Ok, just as another hint: you should definitely take a look at
> pfault_interrupt() in arch/s390/mm/fault.c, which manages notifications
> about host memory manangement, so that the guest can put a task to
> sleep that accesses a page on the host block device, instead of suspending
> the entire guest, while waiting for the page to come back.
>   

It's a lot simpler than I would have guessed... this could be quite 
easily ported to kvm, once we have guest swap.


> arch/s390/mm/extmem.c has another very interesting concept, though the
> hcall interfaces used there are not as flexible as they should be in
> kvm. It's basically about mapping host files into the guest real address
> space, e.g. for shared memory between guests.
>   

This, too, is interesting, though it means guest apps need to be written 
to take advantage of it.

-- 
error compiling committee.c: too many arguments to function


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]                                 ` <46150835.80700-atKUWr5tajBWk0Htik3J/w@public.gmane.org>
@ 2007-04-05 14:41                                   ` Arnd Bergmann
       [not found]                                     ` <200704051641.49792.arnd-r2nGTMty4D4@public.gmane.org>
  0 siblings, 1 reply; 11+ messages in thread
From: Arnd Bergmann @ 2007-04-05 14:41 UTC (permalink / raw)
  To: Avi Kivity; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

On Thursday 05 April 2007, Avi Kivity wrote:
> > arch/s390/mm/extmem.c has another very interesting concept, though the
> > hcall interfaces used there are not as flexible as they should be in
> > kvm. It's basically about mapping host files into the guest real address
> > space, e.g. for shared memory between guests.
> >   
> 
> This, too, is interesting, though it means guest apps need to be written 
> to take advantage of it.

The primary user of this interface is the ext2 file system with the -oxip
mount option that can easily share read-only file systems across guests
without actually copying files into the page cache of each guest.

Another potential (future) user are cluster file systems like ocfs2 and
gfs2, but to be really efficient, these also need a specialized distributed
lock manager that communicates through hcalls instead of TCP/IP networking.

Simply mapping the shared memory as a character device is similar enough
that applications written for posix shared memory can easily be adapted,
but I'm not aware of anyone doing that currently.

	Arnd <><

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

* Re: memory hotplug for guests?
       [not found]                                     ` <200704051641.49792.arnd-r2nGTMty4D4@public.gmane.org>
@ 2007-04-05 14:48                                       ` Dor Laor
  0 siblings, 0 replies; 11+ messages in thread
From: Dor Laor @ 2007-04-05 14:48 UTC (permalink / raw)
  To: Arnd Bergmann, Avi Kivity; +Cc: kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f

>On Thursday 05 April 2007, Avi Kivity wrote:
>> > arch/s390/mm/extmem.c has another very interesting concept, though
the
>> > hcall interfaces used there are not as flexible as they should be
in
>> > kvm. It's basically about mapping host files into the guest real
>address
>> > space, e.g. for shared memory between guests.
>> >
>>
>> This, too, is interesting, though it means guest apps need to be
written
>> to take advantage of it.
>
>The primary user of this interface is the ext2 file system with the
-oxip
>mount option that can easily share read-only file systems across guests
>without actually copying files into the page cache of each guest.

That's nice. Thanks for the tip.

>
>Another potential (future) user are cluster file systems like ocfs2 and
>gfs2, but to be really efficient, these also need a specialized
distributed
>lock manager that communicates through hcalls instead of TCP/IP
networking.
>
>Simply mapping the shared memory as a character device is similar
enough
>that applications written for posix shared memory can easily be
adapted,
>but I'm not aware of anyone doing that currently.
>
>	Arnd <><

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV

^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2007-04-05 14:48 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2007-04-04 11:13 memory hotplug for guests? Tomasz Chmielewski
     [not found] ` <4613886F.5070408-Nem3ZqsbT/g@public.gmane.org>
2007-04-04 11:42   ` Dor Laor
     [not found]     ` <64F9B87B6B770947A9F8391472E032160B318D11-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
2007-04-05 10:16       ` Heiko Carstens
     [not found]         ` <20070405101608.GB8025-Pmgahw53EmNLmI7Nx2oIsGnsbthNF6/HVpNB7YpNyf8@public.gmane.org>
2007-04-05 11:52           ` Dor Laor
     [not found]             ` <64F9B87B6B770947A9F8391472E032160B319410-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
2007-04-05 12:28               ` Arnd Bergmann
     [not found]                 ` <200704051428.17198.arnd-r2nGTMty4D4@public.gmane.org>
2007-04-05 12:39                   ` Avi Kivity
     [not found]                     ` <4614EE12.7060702-atKUWr5tajBWk0Htik3J/w@public.gmane.org>
2007-04-05 12:50                       ` Dor Laor
     [not found]                         ` <64F9B87B6B770947A9F8391472E032160B31944E-yEcIvxbTEBqsx+V+t5oei8rau4O3wl8o3fe8/T/H7NteoWH0uzbU5w@public.gmane.org>
2007-04-05 14:17                           ` Arnd Bergmann
     [not found]                             ` <200704051617.18936.arnd-r2nGTMty4D4@public.gmane.org>
2007-04-05 14:31                               ` Avi Kivity
     [not found]                                 ` <46150835.80700-atKUWr5tajBWk0Htik3J/w@public.gmane.org>
2007-04-05 14:41                                   ` Arnd Bergmann
     [not found]                                     ` <200704051641.49792.arnd-r2nGTMty4D4@public.gmane.org>
2007-04-05 14:48                                       ` Dor Laor

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox