l4-hackers

l4-hackers@os.inf.tu-dresden.de

2 participants
2880 discussions

Re: page size assertion
by Eiji Ota 30 Nov '98

30 Nov '98

> > > I'm interested in this fantastic work(of course, L4). When I tried to > > > feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in > > > space.cc(178 line). > > > > > > The wrong page size seemed to be passed by fpage_map in ipc_map.cc as > > > a SUPERPAGE_SIZE, but I don't find the root cause for this trouble. Hi, after I changed the 113-line in ipc_map.cc to the following, it worked, though I don't know whether it was correct or not. if (size > snd_size // want to send less that a superpage? | V if (size >= snd_size // want to send less that a superpage? - Eiji

1 0

Re: L4/Linux problem
by Sun-Mi You 30 Nov '98

30 Nov '98

: :I think this is a problem one other user also experienced: The system :call IPC library (called ``emulation library'' for hysterical reasons) :in linux/arch/l4-i386/emulib/ has been linked to a wrong virtual :address because the magic in this directory's Makefile failed. One :possible reason is that you don't have a `cpp' in your $PATH. : :Does it help to replace "cpp" with "gcc -E" in this Makefile? : :Michael :-- I've change Makefile and Linux was compiled sucessfully. But, the problem still occurs at same point. Is there other suggestion?

1 0

ADV: LIVE Adult Paradise -- FREE !!
by Steve 29 Nov '98

29 Nov '98

------------------------------------------------------------- This message is sent in compliance of the new email bill section 301. Per Section 301, Paragraph (a)(2)(C) of S. 1618, further transmissions to you by the sender of this email may be stopped at no cost to you by emailing mailto:sgarner@tophosting.com Please type "Remove" in the subject line. Your request to be remove will be processed within 24 hours. Please DO NOT reply to this email if you wish to be removed. ------------------------------------------------------------- FREE Adult Offer -- Five FREE Minutes -- All LIVE NEED A LITTLE SPICE IN YOUR LIFE? All Your Desires Are Satisfied -- The Best LIVE CyberNet Models Do As You Please! ALL LIVE -- ALL DAY -- ALL NIGHT Seductive Women: http://204.248.170.151/196/index.html HardBody Hunks: http://204.248.170.151/215/index.html ** LIVE 1-on-1 Shows! ** MALE or FEMALE! ** 5 FREE MINUTES of HOT ADULT LIVE ACTION! ** SATISFACTION GUARANTEED! All our shows are 100% LIVE and INTERACTIVE for your enjoyment! Ask And You Shall Receive SEDUTIVE WOMEN That Do It ALL! http://204.248.170.151/196/index.html -- OR -- HARDBODY HUNKS Give You What You Ask! http://204.248.170.151/215/index.html <a href="http://204.248.170.151/196/index.html">AOL Users Click Here!</a> See for yourself - We'll give you 5 FREE Steamy Minutes -- Satisfaction Guaranteed!

1 0

Re: page size assertion
by Eiji Ota 28 Nov '98

28 Nov '98

> > I'm interested in this fantastic work(of course, L4). When I tried to > > feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in > > space.cc(178 line). > > > > The wrong page size seemed to be passed by fpage_map in ipc_map.cc as > > a SUPERPAGE_SIZE, but I don't find the root cause for this trouble. > > > > Any ideas ? > > If you can attach a remote GDB via a serial line, you can generate a > backtrace. I'm not familiar with this analysis, anyway, I'll try this, however, I'm happy if you tell me how-to at this point if possible. > This might be a bug either in Fiasco or in an application (in which > case the code in v_insert() must be made more robust; that is, it must > return an error instead of panicking the kernel). > > What are you doing when the assertion fails? Booting? Starting X11? It was booting. I'll dig this out later as far as I can. - Eiji

1 0

Re: page size assertion
by Michael Hohmuth 28 Nov '98

28 Nov '98

Eiji Ota <age(a)yk.fujitsu.co.jp> writes: > I'm interested in this fantastic work(of course, L4). When I tried to > feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in > space.cc(178 line). > > The wrong page size seemed to be passed by fpage_map in ipc_map.cc as > a SUPERPAGE_SIZE, but I don't find the root cause for this trouble. > > Any ideas ? If you can attach a remote GDB via a serial line, you can generate a backtrace. This might be a bug either in Fiasco or in an application (in which case the code in v_insert() must be made more robust; that is, it must return an error instead of panicking the kernel). What are you doing when the assertion fails? Booting? Starting X11? Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

1 0

page size assertion
by Eiji Ota 27 Nov '98

27 Nov '98

Hi all, I'm interested in this fantastic work(of course, L4). When I tried to feel it, I faced an assertion failed by assert(size == PAGE_SIZE) in space.cc(178 line). The wrong page size seemed to be passed by fpage_map in ipc_map.cc as a SUPERPAGE_SIZE, but I don't find the root cause for this trouble. Any ideas ? - Eiji Ota

1 0

Re: L4-Linux
by Michael Hohmuth 27 Nov '98

27 Nov '98

Harald Fritzsche <harald.fritzsche(a)mpd.de> writes: > i have applied Michaels patch and fortunatly the message > <KERNEL: no page fault handler ...> > does never occur. > > L4Linux boots now. > > Thanks so far and congratulation for such a system (Linux on Fiasco). Congratulations for getting it running, and thanks for going through all the hassles! > startx or something else (xdm,kdm,X,...) scrambles the screen and blocks the > keyboard. I assume that this is causes by the disabled serial interface and > related IRQ's (i have configured out serial interface)? It might as well be a bug in Fiasco. So far, we also haven't been very successful in getting up X11 (I think I've seen it running once or twice, but it must have been a lucky day). Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

Re: L4/Linux problem
by Michael Hohmuth 27 Nov '98

27 Nov '98

"Sun-Mi You" <smyou(a)postech.ac.kr> writes: > Our L4/Linux was hanged at follow code. > > in 'linux/arch/l4-i386/chead.c ' > > /* create idt */ > { > extern long idt_table; > struct entry_t {unsigned short w0, w1,w2,w3;} ; > struct entry_t *entries = > (struct entry_t *)((unsigned long)emu_lib_text + > ((unsigned long)&idt_table - EMULIB_CODE_ADDRESS)); > unsigned short int tmp; > int i; > > => this point! > > for (i=0; i<20; i++, entries++) > { > tmp = entries->w1; > entries->w1 = entries->w3; > entries->w3 = tmp; > } > > What problem is this? > > ( I think it may be some memory problem. ) I think this is a problem one other user also experienced: The system call IPC library (called ``emulation library'' for hysterical reasons) in linux/arch/l4-i386/emulib/ has been linked to a wrong virtual address because the magic in this directory's Makefile failed. One possible reason is that you don't have a `cpp' in your $PATH. Does it help to replace "cpp" with "gcc -E" in this Makefile? Michael -- hohmuth(a)innocent.com, hohmuth(a)sax.de http://www.sax.de/~hohmuth/

1 0

L4/Linux problem
by Sun-Mi You 25 Nov '98

25 Nov '98

Our L4/Linux was hanged at follow code. in 'linux/arch/l4-i386/chead.c ' /* create idt */ { extern long idt_table; struct entry_t {unsigned short w0, w1,w2,w3;} ; struct entry_t *entries = (struct entry_t *)((unsigned long)emu_lib_text + ((unsigned long)&idt_table - EMULIB_CODE_ADDRESS)); unsigned short int tmp; int i; => this point! for (i=0; i<20; i++, entries++) { tmp = entries->w1; entries->w1 = entries->w3; entries->w3 = tmp; } What problem is this? ( I think it may be some memory problem. ) Additionaly, our test platform is pentium/64Mb memory. Thanks in advance. :) ---------------------------------------------------------- Sun-Mi You (smyou(a)postech.ac.kr) System Software Laboratory Dept. of Computer Science and Engineering POSTECH, Pohang, KOREA Phone: +82-562-279-5668 http://sslab.postech.ac.kr/~woodstok ----------------------------------------------------------

1 0

Re: L4-Linux
by Michael Hohmuth 25 Nov '98

25 Nov '98

Harald Fritzsche <Harald.Fritzsche(a)mpd.de> writes: > I found (i hope so) the reason for the kbd: sig_sched: invalid > ext_preempter in > L4-Linux, reported earlier. > > In file : > linux/arch/l4-i386/lib/task.c > in function: > start_linux_server_thread() > is used the variable > l4_threadid_t foo_id > uninitialized. > I set foo_id to L4_INVALID_ID and the sig_sched disappears. But i don't > if this is intended from the authors. Your fix is correct. The problem occurred because I forgot to commit some patches before taking the snapshot. I've appended the patches (which include your fix) below. [ from a different message: ] > The function rs_init() hangs during boot (the boot stops for ever). Or a > function after this part of initialization. The last what i see is: > tty0* ... is a 16550A. > > If i disable the serial interface the boot goes on up to VFS mount and stops > than. This might be because the kernel debugger stub grabs irq 3 (the interrupt for COM2). Maybe Linux' serial driver waits for an interrupt that never arrives because L4Linux cannot attach to irq3. Configuring out the serial driver is the correct solution when using a remote Gdb attached via a serial line. If you don't have a remote Gdb, try booting with the "-nokdb" kernel option and see if the problem goes away. Michael -- hohmuth(a)innocent.com, hohmuth(a)inf.tu-dresden.de http://home.pages.de/~hohmuth/

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers