Building device drivers with oskit10_support_l4env
Hi, I do not know why, but I posted this mail the day before yesterday, and has not found it in l4-hackers mail list (and got no reply). So I re-send the same mail. Sorry, if you receive it twice. I am trying to implement an ide server, and I think I can make use of oskit10_support. As a test, I wrote a simple program which calls start_blk_devices() to initialize block drivers. This test program works well when being linked with oskit10_support, but fails when being linked with oskit10_l4env_support_full. In the latter case, it takes quite a long time to probe irqs for each ide device (I think it dose not finally succeed), and fails to use the default irqs and ports at last. Is it that oskit10_support_l4env is not a completed port to l4env (I guess maybe it still try to allocate irqs and ports from rmgr but not l4io)? Is it possible to make the oskit drivers work with l4env? How to? "Using the OSKit as a base for L4 applications" noted that oskit10_support uses lthread_ex_regs to implement interrupt handling, and it may cause some problems. Dose oskit10_support_l4env still have this problem? Thanks! Jianjun Shen ___________________________________________________________ 雅虎免费G邮箱－No.1的防毒防垃圾超大邮箱 http://cn.mail.yahoo.com
Hello, (I CC'ed this E-Mail to Jianjun, because I don't know if he is a list member.) On Mon, Oct 10, 2005 at 04:18:25PM +0800, Jianjun Shen wrote:
"Using the OSKit as a base for L4 applications" noted that oskit10_support uses lthread_ex_regs to implement interrupt handling, and it may cause some problems. Dose oskit10_support_l4env still have this problem?
The information in this paper is rather old and out-dated in several points. We in Dresden make heavy use of the Device Driver Environment (dde_linux) approach and have running drivers for (package names in parentheses): sound (dde_linux/examples/sound), usb (usb), frame grabber (video), and network devices (ore) taken from Linux 2.4. The flips package is our proof-of-concept port of Linux 2.4 TCP/IP code to L4. There's also an experimental Linux 2.6 version of the DDE libraries (dde_linux26) and an IDE driver (l4ide, bddf). Ongoing work here in Dresden is about Linux 2.6 ALSA drivers and an DDE for BSD sources. Also, we're currently switching from oskit (that we used mainly because of its libc libraries) to dietlibc and uclibc. The next L4Env release (and the CVS sources too) will reflect this work and oskit will disappear some time in the future. For this reasons, we cannot help you further with your issues or give heavy support for oskit-related L4 packages. I recommend to give dde_linux26, dde_linux and l4ide a try as these are in our remote CVS. Some of the other packages I mentioned before are not yet available publicly - just do a "cvs ls" in your local copy of "l4/pkg". Cheers -- Christian Helmuth TU Dresden, Dept. of CS Operating Systems Group http://os.inf.tu-dresden.de/~ch12
Hi, Yes, I am a member of l4-hacker. Thanks for your reply, though I would much prefer to kown it earlier - I have worked on the problem for several days, and I think I am near to solving it (seeming to be sth. related to omega0). My final goal is to run multiple l4linux instance on disk. So I would like to know if coresponding l4lx driver stubs are provided. Has l4ide ever been designed with consideration to this? I also plan to implement disk partition and a simple file server. Do those components already exist? You mentioned "bddf" - what is it? In fact, I knew about dde_linux, but I failed to find more information and examples about how to use it, so I previously chose oskit for its full support to filesystems, drivers and network. Thanks! Jianjun Shen
Hello,
(I CC'ed this E-Mail to Jianjun, because I don't know if he is a list member.)
On Mon, Oct 10, 2005 at 04:18:25PM +0800, Jianjun Shen wrote:
"Using the OSKit as a base for L4 applications" noted that oskit10_support uses lthread_ex_regs to implement interrupt handling, and it may cause some problems. Dose oskit10_support_l4env still have this problem?
The information in this paper is rather old and out-dated in several points.
We in Dresden make heavy use of the Device Driver Environment (dde_linux) approach and have running drivers for (package names in parentheses): sound (dde_linux/examples/sound), usb (usb), frame grabber (video), and network devices (ore) taken from Linux 2.4. The flips package is our proof-of-concept port of Linux 2.4 TCP/IP code to L4. There's also an experimental Linux 2.6 version of the DDE libraries (dde_linux26) and an IDE driver (l4ide, bddf). Ongoing work here in Dresden is about Linux 2.6 ALSA drivers and an DDE for BSD sources.
Also, we're currently switching from oskit (that we used mainly because of its libc libraries) to dietlibc and uclibc. The next L4Env release (and the CVS sources too) will reflect this work and oskit will disappear some time in the future.
For this reasons, we cannot help you further with your issues or give heavy support for oskit-related L4 packages. I recommend to give dde_linux26, dde_linux and l4ide a try as these are in our remote CVS. Some of the other packages I mentioned before are not yet available publicly - just do a "cvs ls" in your local copy of "l4/pkg".
Cheers -- Christian Helmuth
TU Dresden, Dept. of CS Operating Systems Group http://os.inf.tu-dresden.de/~ch12
___________________________________________________________ 雅虎免费G邮箱－中国第一绝无垃圾邮件骚扰超大邮箱 http://cn.mail.yahoo.com
Hello, On Wed, Oct 12, 2005 at 11:32:03PM +0800, Jianjun Shen wrote:
Thanks for your reply, though I would much prefer to kown it earlier - I have worked on the problem for several days, and I think I am near to solving it (seeming to be sth. related to omega0).
Hey, good to hear that. Keep on hunting the bug and please post your results. Maybe this helps with an issue I discovered some days ago with my development version of dde_linux26.
My final goal is to run multiple l4linux instance on disk. So I would like to know if coresponding l4lx driver stubs are provided. Has l4ide ever been designed with consideration to this?
For l4ide, there exists an L4Linux-2.6 driver stub. You can find it in the configuration menu: L4Linux configuration -> Advanced options -> Block driver for the generic_blk interface. Make sure you set the module variable "l4bd.l4blk_name=L4IDE" on the Linux command line. For the current version of l4ide, please run l4io with IRQ handling (omega0) switched on or your IDE driver will never stop probing... I think you know this effect ;)
I also plan to implement disk partition and a simple file server. Do those components already exist?
L4ide includes partition handling but this is not finished. L4Linux always uses the complete hard disk. For the file server / file system, we have no package ready. Maybe you should consider to use L4Linux as file server?
You mentioned "bddf" - what is it?
It's the highly experimental successor of l4ide. BDDF stands for Block Device Driver Framework. I expect further results or no public version before Q2 2006.
In fact, I knew about dde_linux, but I failed to find more information and examples about how to use it, so I previously chose oskit for its full support to filesystems, drivers and network.
Yeah, that's a big drawback, but is there someone who likes writing documentation ;) Note, there are several term papers about DDE and successful ports of Linux components for download at http://os.inf.tu-dresden.de/project/finished/finished.xml.en Unfortunately, most of these are in German. Greets -- Christian Helmuth TU Dresden, Dept. of CS Operating Systems Group http://os.inf.tu-dresden.de/~ch12
On Thu Oct 13, 2005 at 11:13:25 +0200, Christian Helmuth wrote:
I also plan to implement disk partition and a simple file server. Do those components already exist?
L4ide includes partition handling but this is not finished. L4Linux always uses the complete hard disk.
The last sentence is not really true. A client (e.g. L4Linux) can also only request and get a partition from the physical disk. This partition then appears as a block device in the client which can then create partitions in it (if it wants). The stub has a configration option to specify what to request. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
Hi, --- Christian Helmuth <ch12@os.inf.tu-dresden.de> wrote:
We in Dresden make heavy use of the Device Driver Environment (dde_linux) approach and have running drivers for (package names in parentheses): sound (dde_linux/examples/sound), usb (usb),
USB? What do I need to check out for usb? Where is this available in the CVS? Thanks, SK -- Shakthi Kannan, MS Software Engineer, Specsoft (Hexaware Technologies) [E]: shakthimaan@yahoo.com [M]: (91) 98407-87007 [W]: http://www.shakthimaan.com [L]: Chennai, India __________________________________ Yahoo! Music Unlimited Access over 1 million songs. Try it free. http://music.yahoo.com/unlimited/
Hi, On Wed, Oct 12, 2005 at 09:18:15AM -0700, Shakthi Kannan wrote:
--- Christian Helmuth <ch12@os.inf.tu-dresden.de> > wrote:
We in Dresden make heavy use of the Device Driver Environment (dde_linux) approach and have running drivers for (package names in parentheses): sound (dde_linux/examples/sound), usb (usb),
USB? What do I need to check out for usb? Where is this available in the CVS?
Unfortunately, the usb package is not ready for the public and so not part of the remote CVS. I personally played around with another Linux 2.4 USB port some weeks ago to have a HID driver for our GUI. If this is what you need I may provide you the code, but only limited support - it's just toy at this stage. Greets -- Christian Helmuth TU Dresden, Dept. of CS Operating Systems Group http://os.inf.tu-dresden.de/~ch12
Hi Christian, --- Christian Helmuth <ch12@os.inf.tu-dresden.de> wrote:
Unfortunately, the usb package is not ready for the public and so not part of the remote CVS. I personally played around with another Linux 2.4 If this is what you need I may provide you the code, but only limited support - it's just toy at this stage.
Yes, please do send it. I'd like to play with it too :) SK -- Shakthi Kannan, MS Software Engineer, Specsoft (Hexaware Technologies) [E]: shakthimaan@yahoo.com [M]: (91) 98407-87007 [W]: http://www.shakthimaan.com [L]: Chennai, India __________________________________ Start your day with Yahoo! - Make it your home page! http://www.yahoo.com/r/hs
Good morning everyone, On Thu, Oct 13, 2005 at 12:44:16AM -0700, Shakthi Kannan wrote:
Yes, please do send it. I'd like to play with it too :)
To bother only those who care: You can download the package from http://os.inf.tu-dresden.de/~ch12/misc/usb-2.4-20051013.tar.gz Just extract the archive into your l4/pkg directory or set the path to l4 in L4DIR before running make (e.g., "L4DIR=/my/path/to/l4 make"). It builds for me with CVS sources from yesterday at least (did not check today's version). In the standard build, the target of usb-2.4/src/Makefile is the library libinputusb.o.a. For testing link it to l4con, dope, or input/examples/inputtst instead of the original libinput.a. Good luck -- Christian Helmuth TU Dresden, Dept. of CS Operating Systems Group http://os.inf.tu-dresden.de/~ch12
participants (4)
-
Adam Lackorzynski -
Christian Helmuth -
Jianjun Shen -
Shakthi Kannan