RE: Problem getting started
Jan Stoess <[email protected]> Fri, 5 Sep 2008 14:07:21 +0200
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Did you have a look which instruction (0xf01139d9) caused the error? If it's a rdmsr or wrmsr instruction, the problem might be that you have compiled the kernel for P4 machines; qemu needs a P3 kernel, however. -Jan -- Jan Stoess System Architecture Group University of Karlsruhe Phone: +49 (721) 608-4056 Fax: +49 (721) 608-7664 eMail: [email protected] > -----Original Message----- > From: [email protected] [mailto:[email protected] > karlsruhe.de] On Behalf Of Thomas Jeunet > Sent: Friday, September 05, 2008 6:38 AM > To: [email protected] > Subject: Problem getting started > > Hello guys, > > I followed the getting started page : > http://l4ka.org/projects/pistachio/ia32/gettingstarted.php and I'm > stuck while > trying it in qemu. I couldn't compile properly the pistachio-0.4 > tarball, so I > used the mercurial repository. I enabled the trace configuration > option, with > all trace options, and this is the error I get: > > System has 16 interrupts > Initializing root servers > root-servers: utcb_area: bf000110 (128KB), kip_area: bff000c0 (4KB) > Creating sigma0 (SIGMA0) > Creating root server (ROOTTASK) > Idle thread started on CPU 0 > f0120000: invalid opcode at IP f01139d9 > --- "KD# invalid opcode" --- > --------------------------------- (eip=f010f7fc, esp=f011ad8c) --- > > > > I'm compiling with gcc version 4.3.1 (Debian 4.3.1-9) > Do you have a hint or a suggestion to let me test l4 ? > (I'm trying user/apps/bench/pingpong) > > Thank you! > > -- > Thomas Jeunet