Problems to set up Pistachio

[Lutz Schönemann]

Hi, all

I've problems to get started with Pistachio. I followed the steps  
described on the site: http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
I'm stuck at the step "Configuring user-level". It is described to run  
the configure script. So I used autoheader and autoconf to create the  
configure script but autoconf returned with:

autoconf: Undefined macros:
configure.in:115:AC_CONFIG_HEADERS([config.h])
configure.in:127: [AC_HELP_STRING([--with-comport=PORT],
configure.in:136: [AC_HELP_STRING([--with-comspeed=SPEED],
configure.in:145: [AC_HELP_STRING([--with-kickstart-linkbase=BASE],
configure.in:150: [AC_HELP_STRING([--with-s0-linkbase=BASE],
configure.in:155: [AC_HELP_STRING([--with-roottask-linkbase=BASE],
configure.in:160: [AC_HELP_STRING([--with-kerneldir=DIR],
configure.in:330:AC_CONFIG_FILES([
configure.in:35:AC_CONFIG_SRCDIR([serv/sigma0/sigma0.cc])

How can I resolve this problem? Are there any arguments to run  
autoheader/autoconf with?

Thanks for help
Lutz Schönemann

[Raphael Neider]

Hi,

> I've problems to get started with Pistachio. I followed the steps
> described on the site:
> http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
> I'm stuck at the step "Configuring user-level". It is described to run
> the configure script. So I used autoheader and autoconf to create the
> configure script but autoconf returned with:
>
> autoconf: Undefined macros:
> configure.in:115:AC_CONFIG_HEADERS([config.h])
> configure.in:127:    [AC_HELP_STRING([--with-comport=PORT],
> configure.in:136:    [AC_HELP_STRING([--with-comspeed=SPEED],
> configure.in:145:    [AC_HELP_STRING([--with-kickstart-linkbase=BASE],
> configure.in:150:    [AC_HELP_STRING([--with-s0-linkbase=BASE],
> configure.in:155:    [AC_HELP_STRING([--with-roottask-linkbase=BASE],
> configure.in:160:    [AC_HELP_STRING([--with-kerneldir=DIR],
> configure.in:330:AC_CONFIG_FILES([
> configure.in:35:AC_CONFIG_SRCDIR([serv/sigma0/sigma0.cc])
>
> How can I resolve this problem? Are there any arguments to run
> autoheader/autoconf with?

I just tried with the current hg tip version (changeset 645,
7d9885cd434e) and autoconf 2.61 and... it worked well. The undefined
macros are all standard autoconf stuff; what version are you using?
Can you reproduce the problem using a recent version (such as 2.61)?

Maybe running aclocal helps as well...

Regards,
Raphael

[Jan Stoess]

Hi Lutz,

Could you tell us wich versions of autoheader and autoconf you are using? Afair pistachio user is a little bit picky about the versions; version 2.53 are known to work, so you might want to try those.

Cheers,
-Jan

--
Jan Stoess
System Architecture Group
University of Karlsruhe
Phone: [phone]
Fax: [phone]
eMail: stoess@...

> -----Original Message-----
> From: l4ka-bounces@... [mailto:l4ka-bounces@...-
> karlsruhe.de] On Behalf Of Lutz Schönemann
> Sent: Wednesday, October 01, 2008 8:08 AM
> To: l4ka@...
> Subject: Problems to set up Pistachio
>
> Hi, all
>
> I've problems to get started with Pistachio. I followed the steps
> described on the site:
> http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
> I'm stuck at the step "Configuring user-level". It is described to run
> the configure script. So I used autoheader and autoconf to create the
> configure script but autoconf returned with:
>
> autoconf: Undefined macros:
> configure.in:115:AC_CONFIG_HEADERS([config.h])
> configure.in:127:     [AC_HELP_STRING([--with-comport=PORT],
> configure.in:136:     [AC_HELP_STRING([--with-comspeed=SPEED],
> configure.in:145:     [AC_HELP_STRING([--with-kickstart-linkbase=BASE],
> configure.in:150:     [AC_HELP_STRING([--with-s0-linkbase=BASE],
> configure.in:155:     [AC_HELP_STRING([--with-roottask-linkbase=BASE],
> configure.in:160:     [AC_HELP_STRING([--with-kerneldir=DIR],
> configure.in:330:AC_CONFIG_FILES([
> configure.in:35:AC_CONFIG_SRCDIR([serv/sigma0/sigma0.cc])
>
> How can I resolve this problem? Are there any arguments to run
> autoheader/autoconf with?
>
> Thanks for help
> Lutz Schönemann

[Lutz Schönemann]

I used version 2.13 of autoconf. Then I tried to use autoconf 2.61 and  
it worked.

After some little problems to setup a image with this new kernel it  
get stuck while booting. The last message is:

L4Ka::Pistachio - built on Oct 6 2008 13:42:27 by root@okl4-dev using  
gcc version 3.3.6 (Ubuntu 1:3.3.6-15ubuntu6)

I compiled the kernel with this two rotating characters and they  
indicate that the kernel is still running.
Any ideas about that problem?

Lutz

Am 01.10.2008 um 14:53 schrieb Raphael Neider:

> Hi,
>
>> I've problems to get started with Pistachio. I followed the steps
>> described on the site:
>> http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
>> I'm stuck at the step "Configuring user-level". It is described to  
>> run
>> the configure script. So I used autoheader and autoconf to create the
>> configure script but autoconf returned with:
>>
>> autoconf: Undefined macros:
>> configure.in:115:AC_CONFIG_HEADERS([config.h])
>> configure.in:127:    [AC_HELP_STRING([--with-comport=PORT],
>> configure.in:136:    [AC_HELP_STRING([--with-comspeed=SPEED],
>> configure.in:145:    [AC_HELP_STRING([--with-kickstart-
>> linkbase=BASE],
>> configure.in:150:    [AC_HELP_STRING([--with-s0-linkbase=BASE],
>> configure.in:155:    [AC_HELP_STRING([--with-roottask-linkbase=BASE],
>> configure.in:160:    [AC_HELP_STRING([--with-kerneldir=DIR],
>> configure.in:330:AC_CONFIG_FILES([
>> configure.in:35:AC_CONFIG_SRCDIR([serv/sigma0/sigma0.cc])
>>
>> How can I resolve this problem? Are there any arguments to run
>> autoheader/autoconf with?
>
> I just tried with the current hg tip version (changeset 645,
> 7d9885cd434e) and autoconf 2.61 and... it worked well. The undefined
> macros are all standard autoconf stuff; what version are you using?
> Can you reproduce the problem using a recent version (such as 2.61)?
>
> Maybe running aclocal helps as well...
>
> Regards,
> Raphael
>

[Philipp Kupferschmied]

> I compiled the kernel with this two rotating characters and they indicate
> that the kernel is still running.
> Any ideas about that problem?

By default, L4 sends its debugging output over the serial port. You can change
this behaviour in the kernel configuration (Debugger -> Kernel Debugger
Console -> Keyboard (instead of 'Serial Port'), so that L4 will print to the
local screen and read input from the local keyboard instead.

Cheers,
Philipp