Hi there,
when I place an ipc call from a l4linux task to an l4 server, I always
get a task number, which, I think, is not assigned. Is for every l4linux
task a new l4 task is generated/reserved?
With kind regards,
Daniel
On Sunday 22 October 2006 21:56, you wrote:
> Hello,
>
> I must confess your mail came as a big surprise, since nobody seemed to
> care about the XGeNOS project for quite some time, but of course the
> surprise is a pleasing one ;-)
>
> Considering your thougths and ideas below, I'll try to figure out as
> much as possible for the moment ... I've been thinking over some of
> them, but it will take me some time to get through it all ...
>
> > I would want to …
[View More]know if this is possible to use fiasco and a uclibc-nptl
> > rewrote in cyclone for a XGenOS fork.
> >
http://www.xgenos.org/
> >
http://os.inf.tu-dresden.de/vfiasco/
>
> Well, vfiasco is an interesting project and complements to some work I'm
> going to do as a part of my PhD thesis. On the other hand from the
> viewpoint of the u-kernel API an implementation of X.2 seems to be a
> good idea, which would rather imply to use the pistachio kernel ...
>
http://cyclone.thelanguage.org/
>
> Interesting. I never came across that before, but it seems this could
> solve some problems of mine (not only XGeNOS related ...)
>
http://www.realitydiluted.com/nptl-uclibc/
> >
http://www.busybox.net/cgi-bin/viewcvs.cgi/branches/uClibc-nptl/
>
> uhm, I'd be happy if there was an alternative to uClibc as my previous
> experiences with uClibc have shown that its code is from so many
> different sources that it's sometimes quite hard to keep the overview. I
> guess the code is quite hard to maintain which IMHO is not the perfect
> basis for secure software ... But, I cannot see any alternative to
> uClibc for the moment ... I'll probably have a look at Peter Anvins
> klibc in some time, maybe that could be an alternate starting point for
> a suitable C-library ...
>
> > Could we be able to merge the best ideas from these projects ? :
> >
> > http://www.marcus-brinkmann.org/hurd-ng.pdf
> >
> > http://www.research.ibm.com/K42/papers/eurosys06.pdf
> >
> > http://domino.research.ibm.com/comm/research_projects.nsf/pages/prose.ind
> >ex.html
>
> Lots to read ;-) Give me some time to check that out ...
>
> > Which Device Driver Framework could be the best and that will let us
> > reuse the
> > maximum of linux drivers code ? :
> >
> > http://www.jaluna.com/doc/c5/html/BSPDevGuide/c3882.html
> >
> > http://sourceforge.net/projects/jaluna/
> >
> > http://www.circlemud.org/~jelson/software/fusd/
> > <http://www.circlemud.org/%7Ejelson/software/fusd/>
> >
> > http://www.gelato.unsw.edu.au/IA64wiki/UserLevelDrivers
>
> Well, IMHO the device driver framwork is the crucial point of the whole
> system. I've got some ideas that derive partly from some of the projects
> mentioned above, and others (e.g the sawmill project, etc.). I agree
> that reusage of existing driver code must be on of the project goals,
> but if this turns out to be of some security risk, one should think of
> some other solutions ... but that's just my EUR 0.02 ...
>
> > Could haskell be a good alternative to C ? :
> >
> > http://programatica.cs.pdx.edu/House/
> >
> > http://www.ertos.nicta.com.au/research/sel4/
> >
> > http://repetae.net/john/computer/jhc/
> >
> > http://www.cse.unsw.edu.au/~chak/haskell/c2hs/
> > <http://www.cse.unsw.edu.au/%7Echak/haskell/c2hs/>
>
> I must confess I haven't dealt with Haskell yet, so I can't say anything
> about that ...
>
> > Time is not a problem, I would to know only which basis could be the most
> > suitable for an innovative project ...
>
> Let's stay on contact, any ideas are welcome. Pls. use the above
> mail-address (ta(a)xgenos.org) if possible. I'm probably going to set up a
> mailinglist in some time ...
>
> Best regards,
>
> -ta
[View Less]
Hello!
I have just encountered a problem with the L4Env I/O client API libio.h if you
try to use this in a C++ program. You get a syntax error because there is a
variable having the name "class". But that is a C++ keyword.
In l4/include/x86/l4/generic_io/types.h:
****************************************
struct l4io_drv:
"unsigned class:8;"
struct l4io_pci_dev:
"unsigned long class;"
In l4/include/x86/l4/generic_io/libio.h:
****************************************
"int …
[View More]l4io_pci_find_class(unsigned long class, ...)"
Although these variable names are possible in C, you run in syntax errors when
trying to use these API interfaces in a C++ program. I think these variables
should get other names, shouldn't they?
Kind regards
Marcel
--
Marcel Winandy
http://www.prosec.rub.de/staff/winandy.html
Applied Data Security Group, Ruhr-University Bochum, Germany
[View Less]
Hello,
The more I go forward, the more questions come to me :
http://lists.tunes.org/archives/tunes/1995-June/000617.html
the exokernel paper says somewhere that all the exokernel does is to
securely multiplex the cpu (that's time) and memory (that's space)
ressources. that's what you said you want from a good os in your `why ...'
paper. and some months ago, i observed that the os may be viewed as a
device driver for these two because that's what device drivers should do:
…
[View More]securely multiplex some hardware ressource
http://lists.gnu.org/archive/html/l4-hurd/2006-08/msg00005.html
"In contract to our approach [L4], [Exokernel] is based on the
philosophy that a kernel should /not/ provide abstractions but only
a minimal set of primitives. Consequently, the Exokernel interface
is architecture dependent . . . We believe that dropping the
abstractional [sic] approach could only be justified by substantial
performance gains. . . . It might turn out that the right
abstractions are even more efficient than securely multiplexing
hardware primitives or, on the other hand, that abstractions are too
inflexible."
http://tunes.org/wiki/Decentralized
So would it be possible to build a general purpose OS without a kernel ?
Isn't just a matter of language *and/or* hardware architecure ?
Could we imagine a full application-level OS and link the apps directly to the
drivers => so the "kernel" would be the device drivers framework ?
Or at least the ressource management system ...
Best Regards,
Will
[View Less]
Hello,
I notice in the L4Linux website, you mentioned that
The ARM port currently runs on the following platforms:
* PLEB
The University of New South Wales' embedded hardware
* Supports both PLEB1 (SA1100) and PLEB2 (XScale PXA255)
* TuxScreen - StrongARM based phone platform.
* Intel's IDXP450 Xscale development platform (XScale IXP450).
Now I have a Motorola E680i cell phone, it is using 312MHz Intel XScale
Bulverde (PXA270) processor, which is using the …
[View More]5th generation of the ARM
architecture. Is it supported by L4Linux currently?
Thank you very much!
Wenbin
[View Less]
Hi,
I first had tried to install l4linux-2.6.17 with fiasco kernel on Xscale.
I got error which I already posted before on boot process. That was due to bugs in fiasco kernel,
by Adam Lackorzynski's advice. so I updated Fiasco kernel & l4linux-2.6.18 from CVS.
Again, I tried to boot, but failed with the following warning message:
"Warning: Unable to open an initial console"
After loading ramdisk on boot process, the system fail to look up the /dev/console file in ramdisk.
So like …
[View More]before, I added devfs options to fs/Kconfig for mounting devfs filesystem again and then
tried to boot, but failed....
You said before "enabling devfs option" is no option as it's gone with 2.6.18.
"devfs" is completely obsoleted by "udev"??
Then How can I use devfs filesystem and succeed to open the initial console file and boot??
Thank you so much...
[View Less]
I get the following errors trying to getting Fiasco from your remote CVS:
eto@eto ~/l4/fiasco $ cvs -z3 -d
:pserver:guest@os.inf.tu-dresden.de:/home/remote-cvs checkout
l4linux-2.6
cvs checkout: Updating l4linux-2.6
cvs checkout: failed to create lock directory for
`/home/remote-cvs/l4linux-2.6'
(/home/remote-cvs/l4linux-2.6/#cvs.lock): Permission denied
cvs checkout: failed to obtain dir lock in repository
`/home/remote-cvs/l4linux-2.6'
cvs [checkout aborted]: read lock failed - giving up
Any ideas?