l4-hackers February 2005

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

24 participants
35 discussions

Start a nNew thread

Dataspace malloc
by Leon Brits 10 Feb '05

10 Feb '05

Hi all, How can I "malloc" from a specific dataspace? Thanks Leon [Running on Fiasco]

2 1

L4Linux bootprompt question
by Jayesh Salvi 09 Feb '05

09 Feb '05

Hi, I an confused about the bootprompt arguments mention in the l4linux.cd.k_us.cfg file that is given to the loader to load the L4Linux 2.6 kernel. The line is : task "vmlinuz26" "mem=44M noreplacement root=1:0 load_ramdisk=1 ramdisk_size=4096 l4env_rd=initrd.gz panicblink=0 lang=us" What does root=1:0 mean? After referring to "The Linux Bootprompt - HowTo" http://ldp.rtin.bz/HOWTO/BootPrompt-HOWTO-3.html#ss3.1 I figured out that the argument is of the type root=/dev/* Can anyone help me understand what "root=1:0" mean? This boot loading files are from the Fiasco-L4Linux boot cd available at http://os.inf.tu-dresden.de/L4/LinuxOnL4/demo.shtml Thanks. Jayesh

2 1

RE: GRUB
by Jayesh Salvi 04 Feb '05

04 Feb '05

I figured out the solution. To reinstall the grub you need to do grub-install /dev/hda This will write the stage1 to the MBR. Useful link for more GRUBbing: http://www.sims.berkeley.edu/~jhall/grub_install_hda1.html Thanks Jayesh _____ From: l4-hackers-bounces(a)os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] On Behalf Of Jayesh Salvi Sent: Wednesday, February 02, 2005 10:32 AM To: l4-hackers(a)os.inf.tu-dresden.de Subject: GRUB Hi, I downloaded the cvs module grub from os.inf.tu-dresden.de . I built the binaries. Doing make, make check, make install did not install this GRUB version (0.90..), my old gnu version (0.93) is what gets loaded when I restart the machine. I also ran the grub-install file from build/util directory: ./grub-install /dev/hda6 Installation finished. No error reported. This is the contents of the device map /boot/grub/device.map. Check if this is correct or not. If any of the lines is incorrect, fix it and re-run the script `grub-install'. # this device map was generated by anaconda (fd0) /dev/fd0 (hd0) /dev/hda /dev/hda6 is where my " / " mounted. After this also my old grub is being loaded. I then manually changed the files in /boot/grub, /sbin/grub, /usr/bin/mbchk, but still no luck. I need this GRUB version to boot the L4Linux-fiasco from my hard-drive. What do I have to do to get my laptop (Pentium M) load this new GRUB? Thanks, Jayesh

1 0

GRUB
by Jayesh Salvi 02 Feb '05

02 Feb '05

Hi, I downloaded the cvs module grub from os.inf.tu-dresden.de . I built the binaries. Doing make, make check, make install did not install this GRUB version (0.90..), my old gnu version (0.93) is what gets loaded when I restart the machine. I also ran the grub-install file from build/util directory: ./grub-install /dev/hda6 Installation finished. No error reported. This is the contents of the device map /boot/grub/device.map. Check if this is correct or not. If any of the lines is incorrect, fix it and re-run the script `grub-install'. # this device map was generated by anaconda (fd0) /dev/fd0 (hd0) /dev/hda /dev/hda6 is where my " / " mounted. After this also my old grub is being loaded. I then manually changed the files in /boot/grub, /sbin/grub, /usr/bin/mbchk, but still no luck. I need this GRUB version to boot the L4Linux-fiasco from my hard-drive. What do I have to do to get my laptop (Pentium M) load this new GRUB? Thanks, Jayesh

1 0

failure installing CVS pistachio user
by Nick Brown 01 Feb '05

01 Feb '05

make install fails, for the user side of pistachio that I've just checked out of CVS, with a missing header file. Below is what I did and the error message. Thanks, Nick cd ~/Software mkdir source mkdir -p build/pistachio/ mkdir install cd source cvs -d:pserver:guest@cvs.l4ka.org:/public-cvs login cvs -z3 -d:pserver:guest@cvs.l4ka.org:/public-cvs co pistachio cd ../build/pistachio ../../source/pistachio/user/configure --with-s0-linkbase=0x40000 --prefix=/home/nicbrown/Software/install make make install <--- snipped ---> make[2]: Entering directory `/home/nicbrown/Software/build/pistachio/util/kickstart' ===> Installing util/kickstart/kickstart ../../../../source/pistachio/user/../tools/mkdirhier /home/nicbrown/Software/install/libexec/l4 /usr/bin/install -c kickstart /home/nicbrown/Software/install/libexec/l4/kickstart make[2]: Leaving directory `/home/nicbrown/Software/build/pistachio/util/kickstart' make[1]: Leaving directory `/home/nicbrown/Software/build/pistachio/util' make[1]: Entering directory `/home/nicbrown/Software/build/pistachio/contrib' make[1]: Leaving directory `/home/nicbrown/Software/build/pistachio/contrib' ===> Installing include files /usr/bin/install: cannot stat `l4/ia32/tracebuffer.h': No such file or directory [nicbrown@localhost pistachio]$

2 1

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 February 2005