Re: [Xen-devel] Announcing OpenBSD/amd64 Xen port
Keir Fraser wrote: On 8 Jun 2006, at 10:48, Mathieu Ropert wrote: - events/clock issue: there seems to be a race condition leading to clock not ticking, hence putting system to sleep till a keyboard/network/disk interrupt is received. The ticker doesn't tick when you block. Your idle loop needs to disable interrupts, set a one-shot timer, then block. See safe_halt() in our Linux source tree (arch/i386/kernel/time-xen.c) -- the function expects to be called with interrupts disabled and caller should also have already checked for any other threads being runnable. -- Keir Thanks! That solved my issue. Just disabling interrupts before i call my idle function did the trick. Mathieu
Re: [Xen-devel] Announcing OpenBSD/amd64 Xen port
On 8 Jun 2006, at 10:48, Mathieu Ropert wrote: - events/clock issue: there seems to be a race condition leading to clock not ticking, hence putting system to sleep till a keyboard/network/disk interrupt is received. The ticker doesn't tick when you block. Your idle loop needs to disable interrupts, set a one-shot timer, then block. See safe_halt() in our Linux source tree (arch/i386/kernel/time-xen.c) -- the function expects to be called with interrupts disabled and caller should also have already checked for any other threads being runnable. -- Keir
Announcing OpenBSD/amd64 Xen port
Hi, I've been working toward porting OpenBSD/amd64 for the Xen Virtual Machine Monitor for a few months. It's not 100% complete, but most is already working for domU. Here's a list of the current issues/missing things: - virtual NIC driver is not fonctionnal, some part of the code still needs to be fixed for packet transfer from/to Xen to work. - events/clock issue: there seems to be a race condition leading to clock not ticking, hence putting system to sleep till a keyboard/network/disk interrupt is received. - SMP is currently not supported. I'll make a kernel binary, a disk image and sources available shortly. Regards, Mathieu