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