Re: L4Ka at the Libre Software Meeting 2003

[Ludovic Courtès]

Hi,

[I had previously forgotten to Cc: l4-hurd so here it is. ;) ]

[Cc'ing to address@hidden so that everybody involved in
 the OS topic at LSM knows what goes on.  ]

Thomas Petazzoni is currently trying to build a planning for the various
talks that will take place in the framework of the OS topic at LSM.
Could you please give us some more information about what topics you
finally decided to cover, how much time each of your talk requires, and
which day(s) you would prefer to talk?

Here are the time slots allocated for OS-related lectures:
 * Thursday, 10th, Morning
 * Thursday, 10th, Afternoon
 * Friday, 11th, Afternoon
 * Saturday, 12th, Morning.

You might also want to edit the Wiki [1] in order to update the
information available there.

Thanks in advance,
Ludovic.

PS: L4-Hurd guys (Marcus?) might also want to tell us whether/when they
    will be able to come, etc. :)

[1] http://wiki.ael.be/rmll2003/index.php/ThemeOperatingSystem

On Mon, May 12, 2003 at 07:47:31PM +0200, Espen Skoglund wrote:
> The L4Ka Team is currently considering to participate with some
> presentation(s) at this years LSM in Metz (if there is any interest
> from the community).  The question, however, is what topic most people
> would find interesting.  I can think of several possible topics.  Here
> are some suggestions:
> 
>    "L4 Version 4 --- L4 Redefined"
>       What is the reasoning behind the new Version 4 (X.2) API?
>       Some examples of the shortcomings with the previous APIs, and
>       how Version 4 solves these problems.  Also some examples of
>       basic L4 Version 4 usage.
> 
>    "L4Ka::Pistachio Design Patterns"
>       A thorough description of the design philosophy behind
>       L4Ka::Pistachio.  Concrete examples from one or more hardware
>       architectures.  A quick glance at performance issues.
> 
>    "Design and Implementation of L4Linux 2.4"
>       Describe the port of L4Linux 2.4 to L4Ka::Pistachio.  How does
>       it differ from earlier versions of L4Linux, e.g., with respect
>       to support for SMP?
> 
> Do the people on this list have any other suggestions?  We are
> currently running a whole course on microkernel construction here in
> Karlsruhe, so there is definitely enough material to talk about.
> 
>       eSk
> 
> 
> 
> 
> 
> _______________________________________________
> L4-hurd mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/l4-hurd