[Patch] Bochs with 4M superpages runs L4Ka

please try to track them down and fix the sources as far as possible. It is easier than it sounds because bochs sources are very clear and because you can insert printf()s everywhere. Try this with a real processor! Thanks, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Ph

Re: first experiences with l4ka on a real pentium

awback. Without a proper abstraction layer between the Hurd components (mainly glibc) and the microkernel, the same work would have to be repeated again for each other microkernel as well. That was the reason I'm interested in libmom or a replacement thereof. Thanks, -Farid. -- Farid

Re: Porting the Hurd to L4 (glibc dependencies, droppingglibc?)

anyone is intersted to help me with what I suggested, please contact me on PM. We could try to do "less talking and more hacking" in this direction. -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-

Re: Porting the Hurd to L4 (glibc dependencies, dropping glibc?)

ore generic C library so that it can be ported _separately_ and more easily to other ukernels or host-os(s). 2. obtain the hosted sub-hurd at a very low cost (in terms of efforts). -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D

Re: Porting the Hurd to L4 (glibc dependencies, droppingglibc?)

hoose betwenn glibc and other (POSIX-compliant?) C libraries cannot be that bad, can it? > Nic Ferrier Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, G

Re: Porting the Hurd to L4 (glibc dependencies, droppingglibc?)

thread_mutex_lock() of FreeBSD's libc] and libidvec [libshouldbeinlibc/idvec* files, having to tweak a little without shadow.h and the non-reentrant getpwuid()s], so there's hope after all ;-) Any comments, suggestions and help appreciated. Thanks, -Farid. -- Farid Hajji -- Unix Sys

Porting the Hurd to L4 (glibc dependencies, dropping glibc?)

the notion of "host OS running sub-hurd" as well as to help isolate the current Mach dependencies of the Hurd. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - -

Problems cross-compling glibc

0/Wed Dec 6 23:18:46 2000// -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - Murphy's Law fails only when you try to de

netfs questions

eof (struct netnode)); /* XXX */ np = netfs_make_node(nn); /* create an empty directory in np */ /* np->nn_stat = { ?????? } */ } Thanks, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr.

Re: Strange behaviour after cross-compiling

no changes at all (yet). What can I do to help track down this problem? > This has nothing to do with the TERM variable. The TIOCSETA ioctl is > failing, because the generated message (sysdepds/mach/hurd/ioctl.c) is > rejected by the Hurd term server. Hmmm... Thanks, -Farid. -- Farid Haj

A memory-based filesystem for the lazy [or impatient]

TGW:J8Z^5&-/6'FNJ)CIZSW!1<"E70O M.'(X-6LEJ#2PY8[FE%!B'@!<+*X3"F6@7@RMS>]#HA013$>+`7)'48)A/&*W M=:MF2G%Q]0L)C^#@YU2FF7@+QSQ;66 M*ID4QR3;^FADRG-/@9IGJ*V3F+40VDDE(^LUD!MJ=K6P8`8X3*T],VBDFN5E MQA84C&a

Re: Shared-Memory for the Hurd?

r to the shm-server. The shm-server would then vm_map() and vm_unmap() the [parts of] the virtual memory corresponding to the shm-segments into the address space of the requester tasks. Would this make sense? Thanks, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555

Re: MIG->Corba

Docs are partly available in header files, but that is a bit terse for aspiring beginners There is a lot of things to do and you can really help. Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROT

Softupdates and the Metadata Problem?

ilesystems? Any link appreciated. The links to softupdates are: Abstract: http://www.mckusick.com/softdep/ Paper : http://www.ece.cmu.edu/~ganger/papers/CSE-TR-254-95/ Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41

Multithreading experiences outside of Hurd/Mach

P/SMP.html Sorry for the noise, guys! -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - One OS To Rule Them All And In The Dar

Linux Binary Compatibility

he host that calls exec()), gets exec()d on host5's cpu #2, host9's cpu #1 and host11 (using its default scheduler) respectively. Okay, that's enough SF for now ;-). Could someone more knowlegeable in glibc and exec() please point out, what is necessary to do in order to swap linux

Re: Linux Binary Compatibility

ld slow down everything or even break the overall architecture of the Hurd. I don't consider binary compatibility as a necessary feature of the Hurd, if that would be the price. The point is just, that if it is relative easy to do so, why not try it? Regards, -Farid. -- Farid Hajji -- U

Re: Linux Binary Compatibility

Hmmm..., that's an interesting perspective. Anyway, I didn't consider the issue from this perspective as I asked about that glibc trick (didn't get a reply yet); just being interested in the technical way to do it. I'll have to read more about ELF and exec() to figure it out. Thanks

SawMill Multiserver vs. the Hurd

ut we should IMHO have a new try at it. Please note that I'm not trying to drag resources away from bug-hurd, but rather looking for Hurd hackers that could help make the Hurd even better ;-). Thanks, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broi

Re: how it works: hurd users

the Hurd that developer newbies need to get started. If you would be willing to write more intros about other parts from time to time, that would be great! -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaar

Re: Hurd and glibc

roperly? No. The current glibc _is_ the actual official C-lib for the Hurd. -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - -

Re: L4Mach or Refactor Hurd Servers?

ach will not be something like, say, Lites. We will have to implement some Mach functionality like VM and the drivers, and the Hurd people will have to help us with the wish list above. For the drivers, we'll probably follow the L4Env group's work. -Farid. -- Farid Hajji -- Unix System

Re: L4Mach or Refactor Hurd Servers?

gh vm_*() calls (no pager tricks), [so that we can plug in our own pager(-library)]... At that point, we'll need to closely work together to adapt both the Hurd sources and the VK/L4 environment to get a fully functional system up and running. > -- Ian -Farid. -- Farid Hajji -- Unix Sys

Re: OS personalities for Linux

that's correct. -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - One OS To Rule Them All And In The Darkn

Re: L4Mach or Refactor Hurd Servers?

in the way, how Mach works. Under Mach, you must obtain and hand out port rights. Because MIG failed to provide a completely transparent handling of this mechanism, port-rights semantics leaked out of the generated stubs into the Hurd codebase (mostly in libports, where they are kept in classe

Re: L4Mach or Refactor Hurd Servers?

rectly, unless > this is done through a well-defined interface that we could > emulate/reimplement in an L4-based [UVM-?]pager. -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany

Re: slow access to files

during compiling hurd, there is a lot free memory > avaible, so why don't we use it? Here too, you're right. The reason is the same as said above: we don't have a VFS buffer cache like in Linux/BSD, but just copy the data when available [from client to translator and back]. >

emulating no-senders notifications in L4?

Since IPC performance is so critical, this pr-server stuff adds quite a lot of overhead to a very common operation. This is the reason that it would be very useful to think of other ways in the Hurd itself (if possible). -Farid. -- Farid Hajji -- Unix Systems and Network Admin |

Re: L4Mach or Refactor Hurd Servers?

re restrictive on its use of mach-specific IPC-ism. > > We *have* been so restrictive. The need of no-senders is quite > inherent; if you understand what we use them for, it's clear that any > system simply must provide a similar function, whether "asynch" or > not.

Re: emulating no-senders notifications in L4?

have a user-level library function like e.g. _exit() RPC the task server, so that the task server reclaims the task, right? -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - -

Re: Hurd on Mach on GNU/Linux (verion 0.0.0)

w Linux and i386 > dependencies still in there. > John Tobey <[EMAIL PROTECTED]> -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - -

Re: mach_port_t vs task_t (really ipc_space_t) in Mach header files

st, as far as _mach.texi_ is concerned, it may be okay, but please remain consistent with Mach headers ;-) What do others think? -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - -

Re: Why GNU Mach is so different?

tes in the L4 user-land tasks. > I know that some ideas can be wrong... after some mounths trying > contribute to GNU/Hurd, I concluded that more study about OS is > necessary before I try something but I keep trying... Happy hacking! > valeu > cavani -Farid. -- F

Re: Why GNU Mach is so different?

ster itself with the collective. Or if you prefer, each machine will be "translator", serving its own set of ipc, vm, ... namespaces. Now, _that_ would be hurdish! -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst,

Re: Why GNU Mach is so different?

's that simple, but > maybe I just don't know enough about Linux and L4 drivers. As long as L4Env is not released, we're just speculating here. You may be right here. We just don't know. -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broi

Re: Why GNU Mach is so different?

s a group. Using a flat-namespace would require an extended lookup a.k.a name resolution algorithm to finally map the port to a specific machine. It _could_ be done by the (distributed?) "translator" that serves the names (e.g. by the translator service the /collective1/file-servers hierarc

Re: Why GNU Mach is so different?

> > You want to migrate _Mach_ ports over the net? > Actualy, what I thought of was only port forwarding. Okay, that is the "easy" part, but the problem with the forwarding chains persists. -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Bro

Re: Why GNU Mach is so different?

synch IPC completely (this is probably even possible with mig) and take care of the few cases where notifications/callbacks are needed. Once this is done, switching to IDL (or any other interface definition language) would be quite easy. I'm not 100% acquainted to the subtleties of MiG thou

Re: Why GNU Mach is so different?

n a multicast IP address to the collective, right? -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - One OS To Rule Them All And

Re: Why GNU Mach is so different?

n work. :) Of course, one can always simulate multicasting or avoid it completely. That is not a big issue. Please tell us more about collectives. That is a very hot topic! -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [E

Re: PROPOSAL: making liblinux_net library

b, both technincally and "politically", i.e. > getting various kernel developers to start using it. Sigh... -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - -

Re: PROPOSAL: making liblinux_net library

mpressed if that worked without Ng*()!! -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - One OS To Rule Them All And In The

Re: PROPOSAL: making liblinux_net library

, if we want to be able to synchronize to the most recent ppp version, right? Of course, we could rely on the current um-pppd, but, we'll miss pppoe and other goodies them! Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-4156

Re: PROPOSAL: making liblinux_net library

> Really? Here's an example where this is not true (anymore?). In > FreeBSD 4.5RC (-STABLE), last cvsupped 01/20/2001: ^ Of course, I meant 01/20/2002 ;-) Sorry about the confusion. -Farid. -- Farid Hajji -- Unix Systems and Ne

Re: PROPOSAL: making liblinux_net library

ings ;-) Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - One OS To Rule Them All And In The Darkness

Thoughts about the new X.2 spec...

TECTED] (no need to bog down bug-hurd with this. This mail is the only announcement to bug-hurd as a friendly HEADS UP). Thanks, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - -

Re: GNU/Linux binary compatibility (Was: Re:memory_object_lock_request and memory_object_data_return fnord)

ood examples of binary compat modes for a lot of architectures ;) All in all, binary compatibility is a nice thing to have. > Oystein -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - -

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

-only). Please see http://l4ka.org/documentation/files/l4-x2.pdf Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - One OS To

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

x27;s pretty difficult to find another x86 register that can be used to point to it. Espen, I know the spec can't be changed at this point. Do you see any workaround for this problem? Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555

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

ment? %ds and other registers are needed for the L4 syscalls. The problem is that especially x86 has so few registers :-( Espen or someone from the L4ka team should comment on this, please. -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555

Re: File Share and Sandbox project

rio? Basically, they're the same, aren't they? > V. Related discussions. > > If I have overlooked places where there is or was prior ideas that you > are aware of, I will appreciate being made aware of them. Is the discussion taking place offline or on #hurd? I didn'

Re: Mach ports use

tter (it is for network purpose), am I right > ? As far as Hurd/L4 is concerned, mono-directional ports are the only possible alternative. > olivier -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, German

Re: [OT]: Hurd microkernel portability.

is a great system, and it would be even better if more people worked on it. Yet it has its shortcomings, as we all know. No OS could IMO cover all aspects. Just think of embedded OS(es) (both time-triggered and interrupt-controlled), OSes for SIMD and MIMD architectures, ... Ah, you meant &quo

Re: Design your own Linux-shoes

, let's change the posting policy of our lists to subscribers only. I know this has been discussed at length so many times before, yet no-one at gnu.org seems to care. Sorry, this was OT, but I couldn't resist this time. -FH. -- Farid Hajji. http://www.farid-hajji.net/address.html

Re: Design your own Linux-shoes

lso possible to disable delivery from the mailing list manager to all but one address. > Robert Millan Now getting back in lurker mode... -Farid. -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

Re: Design your own Linux-shoes

it's useful for non-subscribers to send messages. > > > > That doens't happen so often. If we grep out all known > > subscribers, what does remain? > > My messages, for example. They're tagged by mailman as message > from non-subscriber. Yep... :-/ --

Re: creation time as Hurd extension?

e meta-data scheme some years ago in a paper. Unfortunately, I didn't copy that or its reference (arghhh) back then, and I can't find it now :( -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTE

Re: creation time as Hurd extension?

le, so those meta data files would only be accessed through syscalls (just like directories in Unix can only be written to by the FS implementation). Well, that's just an idea (and not the one in that paper). > Ludovic. -- Farid Hajji. http://www.farid-hajji.net/address.html __

Re: Hurd Sourcecode Cross Reference [was:Re: Hurd advocacy?]

functions, like MH, X or BSD kernel." WWW: http://www.gnu.org/software/global/ You can convert every set of source files to HTML with the program htags (which is part of the global distribution). > Thanks. > Ashish -- Farid Hajji. http://www.farid-hajji.net/address.html __

Re: Hurd Sourcecode Cross Reference [was:Re: Hurd advocacy?]

so: http://www.gnu.org/software/global/links.html subsection "Source code browsing Tools" > > Thanks. > > Ashish -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

Re: "network administrator" in GNU/Hurd

ub-Hurd are sorted out, a jail(2) syscall and command tools like FreeBSD's could be added to glibc as well. -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

Re: L4??

urd/L4 port are taking place on the [EMAIL PROTECTED] mailing list. Archives: http://mail.gnu.org/pipermail/l4-hurd/ -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

Re: disallow direct inclussion of

r out there. I'd strongly support such a move; perhaps starting with a deprecation #warn-ing, and later changing this to a hard #error. > Robert Millan -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

Re: disallow direct inclussion of

ume something from /usr/src/linux/include/*.h or whatever) anyway? > Jeroen Dekkers -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

Re: on what kernel is the Hurd running presently .

ojects/pistachio/ Please refer to the [EMAIL PROTECTED] mailing list, archived here: http://mail.gnu.org/pipermail/l4-hurd -- Farid Hajji. http://www.farid-hajji.net/address.html ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/m