[okl4-developer] About Wombat a Portable User-Mode Linux for Embedded Systems

[Jorge Torres]

Hi okl4.org,

On the:  Wombat a Portable User-Mode Linux for Embedded Systems, paper by
Ben Leslie, Carl van Schaik and Gernot Heiser

I've found many answers to my questions, but, there is something I can't
clearly understand, it is on how is it that you make Wombat threads to be
scheduled by wombat scheduler, in this document it is clear that  there is
timer_thread (code on the  interrupt_loop(void) on  sys_iguana.c right?),
which  on  timeout  signals a kernel  schedule().

But what I can't understand is  after  linux schedule chooses  the  next
task,  how  is it that  schedule tells L4 scheduler to "switch_to"  the
chosen task.

Switch_to on process.c seems to do it independently from L4 scheduler. or
well, I cant understand what arch_switch does, or if I'm looking at the
wrong place.

Does somebody know how is this done, and what does  arch_switch on ie.
linux/kernel/include/asm-l4/i386/arch.h do?

Thank you very much,

Jorge
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20070614/33a37895/attachment.htm