- l4-hackers - example.com Site

RE: l4-ka, c++!
by M. Edward Borasky 08 Nov '03

08 Nov '03

Thanks!! I'm just getting into this L4 / Hurd game. My main concern isn't efficiency -- I leave the speed issues to the folks who give us a 2X clock frequency boost every 18 months. :) My concerns are correctness and stability of the OS, and various project management issues like predictability and stability of dates, interfaces and specifications, production of accurate and usable documentation, etc. I'm by no stretch of the imagination a competent C++ programmer; I can just barely read C++ once the object-oriented features show up. In my trolling about, I discovered that the Fiasco folks have put some effort into "correctness proofs" of Fiasco. See the Vfiasco site http://os.inf.tu-dresden.de/vfiasco/ How difficult would it be to shift this effort from Fiasco to Pistachio? How difficult would it be to port DROPS and friends http://os.inf.tu-dresden.de/drops/ from Fiasco to Pistachio? I'm interested in both tracks -- a real-time operating system and a general-purpose Linux-like desktop and server system. "One OS to rule them all ..." :) -- M. Edward (Ed) Borasky mailto:znmeb@borasky-research.net http://www.borasky-research.net "Suppose that tonight, while you sleep, a miracle happens - you wake up tomorrow with what you have longed for! How will you discover that a miracle happened? How will your loved ones? What will be different? What will you notice? What do you need to explode into tomorrow with grace, power, love, passion and confidence?" -- L. Michael Hall, PhD

1 0

some newbie questions
by cyberspas＠narod.ru 05 Nov '03

05 Nov '03

Hello l4-hackers, I run my small program as root task on top of Pistachio 0.3 microkernel and receive some errors when it run. All works fine, but when in KDB i try to use change verbose level of sigma0 once and again (about 5-6 times) I receive Assertion: Assertion !tcb->queue_state.is_set(queue_state_t::ready) failed in file /home/tosha/pistachio-0.3/kernel/include/api/v4/schedule.h, line 296 (fn=f010099b2) Can you explain me where is the problem ? Code: #include <l4io.h> #include <l4/kip.h> #include <l4/ipc.h> #include <l4/message.h> #include <l4/kdebug.h> #include <l4/thread.h> int main (void) { printf("Myself: %x\n", L4_Myself().raw); L4_Msg_t msg; L4_ThreadId_t tid; tid = L4_Pager(); L4_MsgClear(&msg); L4_MsgAppendWord(&msg, 1); L4_MsgAppendWord(&msg, 9); L4_Set_Label(&msg.tag, -1001<<4); L4_MsgLoad(&msg); L4_Send(tid); printf("aaa\n"); L4_MsgClear(&msg); L4_MsgAppendWord(&msg, 1); L4_MsgAppendWord(&msg, 9); L4_Set_Label(&msg.tag, -1001<<4); L4_MsgLoad(&msg); L4_Send(tid); while(true) { printf("root\n"); L4_KDB_Enter("enter kdb"); } } -- Best regards, Anton mailto:cyberspas@narod.ru

1 0

Re: AW: L4/Linux communciation with another L4 thread
by Dominik Gummel 16 Oct '03

16 Oct '03

Hi, > I am working on the Perseus (www.perseus-os.org) project > and we are currently using an l4ka kernel. At the moment, we still use L4 V2. Greets, Dominik -- Universität des Saarlandes Department for Computer Science, Security and Cryptography Dominik Gummel email: bofh(a)krypt.cs.uni-sb.de Building 45, Room 536 Im Stadtwald,D-66123 Saarbrücken Tel.: +49(681)302-5608 Fax.: +49(681)302 5636 public key http://www-krypt.cs.uni-sb.de/~bofh Fingerprint 8BED E39C 711C 3ECA B35F E5E7 846D 6661 C091 51AE

1 0

L4/Linux communciation with another L4 thread
by perseus 16 Oct '03

16 Oct '03

@postmaster: Sorry for any inconvenience. had problems with my email application Hi, I am quite new to L4 and I did succeed in writing a server task for L4 and to call this with another L4 thread/program. (Did start them by modifying menu.lst). But I did not find out how I could communicate with an L4/Linux program and another L4 server. I want to send/receive data. Is there any code around that copes with this feature? Thanks, Gerhard

2 2

L4/Linux communication with another L4 Thread
by GLeibrock 15 Oct '03

15 Oct '03

Hi, I am quite new to L4 and I did succeed in writing a server task for L4 and to call this with another L4 thread/program. (Did start them by modifying menu.lst). But I did not find out how I could communicate with an L4/Linux program and another L4 server. I want to send/receive data. Is there any code around that copes with this feature? Thanks, Gerhard

1 0

L4 & Ada
by Frederic BOYER 03 Oct '03

03 Oct '03

Hello I'm plan with a friend (Antoine) to port the L4lib from C to Ada. So, it will be possible to write L4 server in Ada. I'd like to know if someone have already try to do a such thing, and I'd like advices from L4 guru to begin the work. Thanks, Frédéric. "This message, including any attachments may contain confidential and privileged material; it is intended only for the person to whom it is addressed. Its contents do not constitute a commitment by Crédit Agricole Indosuez Cheuvreux except where provided for in a written agreement. Crédit Agricole Indosuez Cheuvreux assumes no liability or responsibility for the consequences arising out of a delay and/or loss in transit of this message, or for corruption or other error(s) arising in its transmission and for any misuse or fraudulent use which may be made thereof. If you are not the intended recipient, please contact us and abstain from any disclosure, use or dissemination. To the extent that this message contains research information and/or recommendations, these are provided on the same basis as Crédit Agricole Indosuez Cheuvreux's published research and the recipient must have regard to all disclosures and disclaimers contained therein."

1 0

about L4 tables
by Yu Neil 29 Sep '03

29 Sep '03

hello: after l4 booted, it will allocate some tables in address, How many memory it will ocuppied ? Neil Yu _________________________________________________________________ 与联机的朋友进行交流，请使用 MSN Messenger: http://messenger.msn.com/cn

2 1

Multiple Test Environments
by David Denny 21 Sep '03

21 Sep '03

Hello L4 There seemed to be a sentiment that your group might appreciate having the Fiasco installation process tested under a variety of Linux distributions. I've had to swap the machine I'd originally acquired for this project, because of video issues with Fiasco (onboard card, Compaq mobo, say no more), so I have a bit more disk space and with careful use of the server I can probably compile/install for between 4 and 6 distributions. Those I have in mind are Debian (as a basic sync point with yourselves). SuSE as an RPM distro, Slackware because it's different, and the two DIY distros LFS and Gentoo. What I envisage is coming back to yourselves _only_ if I have Debian issues, and for the other distros I'm happy to hack my way through and send you back the completed "Expedition Log" for each of them. That is, if you'd like to have something as a resource for other external users to use. I would not expect to ask for help outside Debian. My time is limited so I would tend to go for a major hacking event, from time to time, rather than keeping up with things as they happen At The Centre as it were. I run other free *nixes but my feeling is that at present, as an evaluation envelope, Linux is sufficient for your needs. Looking forward to this, rather

1 0

RE: build error
by "Wen, Jun (溫軍 IAC-N)" 11 Sep '03

11 Sep '03

Hi, thanks,now I am using i386-elf-gcc,but also has some error. would you please give a advise which compiler and which enviroment could compile them pass? i am using fiasco-1.0.tar.gz and fiasco-1.0-oskit.tar.gz BRS john -----Original Message----- From: Volkmar Uhlig [mailto:volkmar@ira.uka.de] Sent: Wednesday, September 10, 2003 11:59 AM To: Wen, Jun (? ? IAC-N) Cc: l4-hackers(a)os.inf.tu-dresden.de Subject: RE: build error Using the native cygwin compiler will quite likely make you pulling your hair out. Try building a cross compiler for linux and elf and use that instead. The PE standard the cygwin gcc spits out conflicts with many assumptions in asm code and linker files, such as naming conventions of sections, symbols, etc. - Volkmar

1 0

RE: build error
by Volkmar Uhlig 10 Sep '03

10 Sep '03

Using the native cygwin compiler will quite likely make you pulling your hair out. Try building a cross compiler for linux and elf and use that instead. The PE standard the cygwin gcc spits out conflicts with many assumptions in asm code and linker files, such as naming conventions of sections, symbols, etc. - Volkmar

1 0