Re: L4Mach or Refactor Hurd Servers?

2001-11-10 Thread Farid Hajji
Replying to my own scribblings... ;-) > * VM should be accessed through vm_allocate(), vm_deallocate(), > vm_map(), vm_unmap() _only_. Maybe vm_remap(), later. Add to this vm_protect(), and, very carefully, vm_inherit(). > Please don't meddle with the default-pager directly, unless >

Re: OS personalities for Linux

2001-11-10 Thread Farid Hajji
> > The Hurd can run in parallel to itself. If it can run in parallel to other > > OSs depends if those OSs can run on Mach, and if you have a bootloader for them > > that runs in the Hurd. > > If I understood Farid correctly, he ran the Hurd beside Lites. Yes, that's correct. -Farid. -- Fari

Re: L4Mach or Refactor Hurd Servers?

2001-11-10 Thread Farid Hajji
> Apologies for the lack of information. My goal is to build a Hurd system that > can run using an L4 microkernel. I see two basic options for doing this: > > 1) Create a /boot/gnumach.gz that uses L4. No changes to the Hurd code. It would be nice, if it were possible. However, the Mach/L3 work m

Re: oskit-mach: vm_map_copyout crash

2001-11-10 Thread Roland McGrath
I'm not really following your question. If you are not hitting this panic now, then let's not worry about it until you do. ___ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd

Re: L4Mach or Refactor Hurd Servers?

2001-11-10 Thread Farid Hajji
> I'm trying to decide between implementing something like L4Mach or > reimplementing the Hurd servers to use L4 tasks directly, complete ripping out > the notions of Mach. You should read "Steps Towards Porting a Unix Single Server to the L3 Microkernel" by Michael Hohmuth and Sven Rudolph, Apr

Re: L4Mach or Refactor Hurd Servers?

2001-11-10 Thread Farid Hajji
> libports is a pretty good approximation of what we (the Hurd developers) > think an IPC system ought to provide for server writers. It is certainly > an open question as to how much is done in the microkernel's IPC system and > how much is done in a user-level library. We do have strong opinio

Re: oskit-mach: vm_map_copyout crash

2001-11-10 Thread Daniel Wagner
> panic ("free_for_oskit of virtual memory from interrupt level"); > > If that happens, we'll have to come up with some hairy solution. That's > because you can't call kfree at interrupt level, so we'd need to maintain a > to-be-freed list at interrupt level and process it later and it w