Farid Hajji | 1 May 2002 14:16

Re: %gs:0 thread pseudoregister in oskit-mach

Roland McGrath wrote:
> The only time %gs:0 would be changed would be by the pthreads
> implementation when doing a user-level thread switch when using the model
> of n pthreads to m kernel threads.  But if an LIPC context switch happens
> the way I'm guessing (essentially a user-level switch performed by code in
> the KIP) then I imagine that pthreads would want to just use 1-to-1 and
> integrate with the LIPC optimizations.

If I understand this correctly, a pthreads implementation for L4 will
switch user-level threads by doing an explicit LIPC call _instead_ of
modifying %gs:0, right?

This is important to know, so that it can be neatly isolated in
Mach and L4 sysdeps...

-Farid.

--

-- 
Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555
Broicherdorfstr. 83, D-41564 Kaarst, Germany  | farid.hajji <at> ob.kamp.net
- - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - -
One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates.
Laurent Mallet | 2 May 2002 15:45
Favicon

idl 0.8.3 & chacmos

Hi l4 hackers, 

A new version of the idl4 compiler is available. It contains last
version of the Chacmos code (don't read the chacmos-RC1).
I continue to try to understand this code and write a hacking guide
about what i understand : It could be a good point for l4 beginners.
it is yet in french but i translate it later... 

Ps : it could be a good thing that somebody write a resume about this
mailing list.

---------------------
Ellis
laurent mallet
mallet <at> linagora.com
---------------------
Laurent Mallet | 2 May 2002 20:00
Favicon

Hazelnut compilation

Hi hackers,

I have downloaded hazelnut-rc2 source code and idl.8.3 code.
I try to compile l4 kernel and chacmos but when i try this
with vmware, i receive some curious errors as unkown instructions.

I have tried many different configurations without success..

If you have successed, please contact me and send me binaries.
We could then put them on the l4-hurd website to help beginners
as me...

Thanks

Ellis
Laurent Mallet | 6 May 2002 17:31
Favicon

Rapport

Hi everybody,

Not many activities in this mailing liste. I continue in the small world
of L4 and play with chacmos. Most of the code has been understand.
Thanks to Andreas Haeberlen hacker of Chacmos and idl4.
Some advice : don't use gcc 2.95.4!!! the code of Hazelnut created with
this cc doesn't work. Use gcc-2.95.2 or gcc-3.0.4.

Now, i will continue to do some documentation about L4 & chacmos. A
short FAQ to install l4 kernel and some OS example could be a good idea
too... 

Is there some volunteer to help me?

Thanks for advance,

Ellis
Laurent Mallet | 9 May 2002 15:43
Favicon

To Do List and who is working on ...


Hi l4 and hurd hackers,

i have discover with google this good page that shows us a todo list for
L4-Hurd :
http://www.informatik.uni-freiburg.de/~ganter/comp/l4-hurd-todo.html
It seems very instersting and it must placed with some rewritting on the
official web site i think. For this todo list, i think we could organize
us and defines workgroups (tasks and who could work on it).

I present the groups needed :
- a webmaster who post webpages
- a writer who could post on the website a resume of L4 activity and
Mailing List
- a documentation group
- a hurd developpers group who study and define the hurd code that is to
rewritte and how
- a server group with some memory server's subgroup & a boot server's
subgroup & a thread server's subgroup & a port server's group and so...

A leader must organize each group.

But the most urgent is a webmaster to organize a better communication
and define groups on the website.

Ellis
Zeno Gantner | 9 May 2002 19:13
Picon

Re: To Do List ...

> http://www.informatik.uni-freiburg.de/~ganter/comp/l4-hurd-todo.html

I wrote this (incomplete and out-of-date) page, it is
based on a mail written by Farid to this list some
time last year...
Well, it is out of date, and I will remove it soon
(I did not realize it was still online).

IMHO it is far too early to form official groups ...
(I am not doing ANYTHING for l4-hurd atm, but I will
reinstall my Hurd system as soon there are new (and
relatively stable CD images available).

AFAIK, this site has the latest (web) infos:
http://www.freesoftware.fsf.org/l4hurd/

regards,
	Zeno Gantner
Farid Hajji | 10 May 2002 08:10

Re: Hazelnut compilation

> I have downloaded hazelnut-rc2 source code and idl.8.3 code.
> I try to compile l4 kernel and chacmos but when i try this
> with vmware, i receive some curious errors as unkown instructions.

I didn't try it with vmware, but with Bochs + 4MB-patch. IIRC, something
had to be changed in the IRQ handling of Hazelnut, so that Bochs can
cope with it. I didn't try the latest Hazelnut code with Bochs though...

> I have tried many different configurations without success..
> 
> If you have successed, please contact me and send me binaries.
> We could then put them on the l4-hurd website to help beginners
> as me...

Yes, that would be great.

BTW, someone could also write a tutorial about debugging Hazelnut
with gdb + serial ports :-))

-Farid.

--

-- 
Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555
Broicherdorfstr. 83, D-41564 Kaarst, Germany  | farid.hajji <at> ob.kamp.net
- - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - -
One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates.
Laurent Mallet | 10 May 2002 10:29
Favicon

Re: Hazelnut compilation

Oups,

I didn't tell to the mailing list! Don't use gcc-2.95-4 to compile
Hazelnut nor idl nor chacmos. The binaries are corrupt. So use
gcc-2.95-2 which works or gcc-3.0.4. For gcc3, i have send patch to
Andreas, author of chacmos & idl4. so please wait next version or ask me
this patch....

Thanks

Ellis
Farid Hajji | 10 May 2002 12:06

Re: Rapport

Hi Ellis,

> Not many activities in this mailing liste.
sorry for not getting back to you sooner. I'm still
catching up mails... ;)

> I continue in the small world
> of L4 and play with chacmos. Most of the code has been understand.
> Thanks to Andreas Haeberlen hacker of Chacmos and idl4.
IDL4 is really good! I played with it the last couple of days and
I like it very much.

> Some advice : don't use gcc 2.95.4!!! the code of Hazelnut created with
> this cc doesn't work. Use gcc-2.95.2 or gcc-3.0.4.
I tried the code with:
  gcc version 2.95.3 20010315 (release) [FreeBSD]
  GNU assembler version 2.11.2 20010719 [FreeBSD] (i386-unknown-freebsd4)
      using BFD version 2.11.2 20010719 [FreeBSD]
and it works pretty good here.

gcc-2.95.4+ up to gcc-3.0.3 are broken for some reason.

-Farid.

--

-- 
Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555
Broicherdorfstr. 83, D-41564 Kaarst, Germany  | farid.hajji <at> ob.kamp.net
- - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - -
One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates.
(Continue reading)

Farid Hajji | 10 May 2002 18:37

Re: To Do List ...

Hi Zeno,

> > http://www.informatik.uni-freiburg.de/~ganter/comp/l4-hurd-todo.html
> I wrote this (incomplete and out-of-date) page, it is
> based on a mail written by Farid to this list some
> time last year...
> Well, it is out of date, and I will remove it soon
> (I did not realize it was still online).
could you please look up the latest TODO list I posted some
weeks ago to l4-hurd? This reflects the curret status and
the suggested roadpath for the next couple of steps. I don't
have the URL handy tough... :)

> IMHO it is far too early to form official groups ...
> (I am not doing ANYTHING for l4-hurd atm, but I will
> reinstall my Hurd system as soon there are new (and
> relatively stable CD images available).
I see it the same way. We need coders right now (and
perhaps someone to better organize the docs). But coding
is now most definitely needed.

> AFAIK, this site has the latest (web) infos:
> http://www.freesoftware.fsf.org/l4hurd/
Please coordinate with Ian Duggan, who set up the l4hurd
project at savannah.

> regards,
> 	Zeno Gantner

Regards,
(Continue reading)


Gmane