Hello.
As Edmund reported previously, also I found that L4-Linux (2.0.21)
could boot but not work well on my 486 PC (of course, I added
-nopentium option for rmgr). However, same kit (fiasco/rmgr/sigma0
/glinux) works well on Pentium PC.
I'm trying remote debugging, but yet I couldn't connect gdb and
fiasco-system. I removed "-nokdb" option for main (fiasco kernel)
module, thus fiasco-system on target 486 PC enters remote debugging
mode, and waits for gdb instructions via serial cable, like this.
-------------------------------------------------------
on target PC console
-------------------------------------------------------
RMGR: loading (fd0)/sigma0
RMGR: detected new-style DD-L4
RMGR: starting (fd0)/main proto=0x10136c
Welcome to Fiasco!
DD-L4/x86 microkernel (c) 1998 TU Dresden - May 17 1999
KDB: init
-------------------------------------------------------
Then I started gdb on host PC (Debian 2.1 on Pentium PC -
gdb is from binary package). Though it seems that some
packets sent & received via serial cable, but gdb could
not complete the connection. gdb says,
-------------------------------------------------------
on host PC
-------------------------------------------------------
% cat .gdbinit
file kernel.image
set remotedebug 1
set remotebaud 115200
#set remotebaud 9600
target remote /dev/ttyS0
% gdb kernel.image
GNU gdb 4.17.m68k.objc.threads.hwwp.fpu.gnat
Copyright 1998 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB. Type "show warranty" for details.
This GDB was configured as "i486-pc-linux-gnu"...
Sending packet: $Hc-1#09...putpkt: Junk: WJW
B%
Sending packet: $Hc-1#09...putpkt: Junk: W
B%
Sending packet: $Hc-1#09...putpkt: Junk: W
B%
Sending packet: $Hc-1#09...putpkt: Junk: W
B%
Timed out.
Timed out.
Timed out.
Ignoring packet error, continuing...
Sending packet: $qOffsets#4b...putpkt: Junk: W
B%
Sending packet: $qOffsets#4b...putpkt: Junk: W
B%
Sending packet: $qOffsets#4b...putpkt: Junk: W
B]%
Sending packet: $qOffsets#4b...putpkt: Junk: %
Timed out.
Timed out.
Timed out.
Couldn't establish connection to remote target
Malformed response to offset query, timeout
--------------------------------------------------------------------
Slowing the remotebaud to 9600, the result is just same.
When I boot small Linux system on the target 486 PC,
the baudrait returned by setserial command is 115200.
ASCII messages redirected to /dev/ttyS1 on the target PC
are well transfered to /dev/ttyS0 on the host PC, so
I suppose there's no physical troubles (e.g. staled cable or port),
and I ought to have forgotten some points to configure.
I'm not enough-skilled to find my wrong points.
There's any useful documents to excersize remote debugging?
I want some sample program... the document in GDB is difficult
for me, because I must add several functions to generic (and
incomplete) i386-stub.c, before excersize remote debugging.
suzuki