[okl4-developer] build error UserList missing > warning error > --ld > KIP > boot OKL4 kernel

Jamie Lennox jamielennox at gmail.com
Thu Mar 27 19:29:07 EST 2008


This sounds like a similar problem to what i had a while ago. 
The easiest solution that i found was to modify the putc in the kernel
so as to output to the vga when it thought it was going to serial. 

The answer is found here: 
http://lists.okl4.org/pipermail/developer/2008-January/000542.html

Jamie

On Thu, 2008-03-27 at 15:10 +0800, ANPING WANG wrote:
> Hi.
> thanks, that is the same problem
> how could i output the display  direct to the VGA?
> (because my computer have no serial port)
> 
> if i should insert the graphic card driver into the kernel,
> how can i do that ?
> modify what component or configure??
> or what manual i should read??
> 
> thanks
> 
> 2008/3/27, Nelson Tam <nelson at ok-labs.com>:
>         Hi Anping,
>         
>         On 25/03/2008, at 11:51 PM, ANPING WANG wrote:
>  
> 
>         https://www.ertos.nicta.com.au/downloads/i686-gcc-3.3.4-glibc-2.3.3-2006-06-02.tar.gz
>         
>         
>         
>         $ tar zxvf i686-gcc-3.3.4-glibc-2.3.3-2006-06-02.tar.gz
>         $ tar zxvf Okl4_release_1.5.2.tar.gz  
>         
>         $ export PATH=
>         $PATH:/opt/nicta/gcc-3.3.4-glibc-2.3.3/i686-unknown-linux-gnu/bin/
>         $ cd okl4_release_1.5.2/ 
>         $ tools/build.py machine=ia32_pc99 project=iguana wombat=yes
>         toolprefix=i686-unknown-linux-gnu-
>         
>         and successes build the  image.elf and the grub menu.lst
>         
>         i use the boot option in the /boot/grub/menu.lst
>         
>         
>           
>                 title = L4 NICTA::Iguana
>                 root (hd0,0)
>                 kernel=/boot/grub/image.elf
>         , copy the image.elf to /boot/grub ,chmod 755 image.elf and reboot
>         but booting is not success. it stop at 
>         
>         
>         > ....................( some address message )
>         > Starting up...
>         >
>         > where can i find the tutorial or guide of building and
>         booting OKL4 ??
>         > or what i can do for the booting problem??
>         
>         
>         Is this the same problem?
>         
>         
>         http://lists.okl4.org/pipermail/developer/2008-March/000762.html
>         
>         
>         Nelson.
>         
> 
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer




More information about the Developer mailing list