Re: how to install Genode on PC machine

2013-04-15 Thread Alexander Tarasikov
2013/4/15 Ivan Loskutov > I've upload ipxe to github > https://github.com/Ksys-labs/ipxe/tree/boot_l4linux > > First you need build ipxe. > Go to ipxe source folder. If you would like to have autoboot you need > embedd start script for ipxe. Create script boot.ipxe with context like > this: > #!

Re: how to install Genode on PC machine

2013-04-15 Thread Ivan Loskutov
I've upload ipxe to github https://github.com/Ksys-labs/ipxe/tree/boot_l4linux First you need build ipxe. Go to ipxe source folder. If you would like to have autoboot you need embedd start script for ipxe. Create script boot.ipxe with context like this: #!ipxe :retry_dhcp dhcp || goto retry_dhcp

Re: how to install Genode on PC machine

2013-04-15 Thread Jian Liu
Hmm, Thanks for your info. Jian LIU email to: gjk@gmail.com 2013/4/15 Ivan Loskutov > Hi Jian, > If you have the same issue with memory, try to load modules to large > memory region. > I have following memory layout on my PC (this log from bootstrap): > RAM: -

Re: how to install Genode on PC machine

2013-04-14 Thread Ivan Loskutov
Hi Jian, If you have the same issue with memory, try to load modules to large memory region. I have following memory layout on my PC (this log from bootstrap): RAM: - 0009ebff: 635kB RAM: 0010 - 1fff: 523264kB RAM: 2020 - 3f

Re: how to install Genode on PC machine

2013-04-14 Thread Jian Liu
Jian LIU email to: gjk@gmail.com 2013/4/14 Ivan Loskutov > Hi Jian, > 1) I've used iPXE because it has good code and I can change this for my > needs. Grub seems more difficult for modifications for me. Second cause - > network boot is better for debuging. You can modify Grub or

Re: how to install Genode on PC machine

2013-04-14 Thread Ivan Loskutov
Hi Jian, 1) I've used iPXE because it has good code and I can change this for my needs. Grub seems more difficult for modifications for me. Second cause - network boot is better for debuging. You can modify Grub or your other prefered bootloader. 2) For my case I was need to configure RAM for fit l

Re: how to install Genode on PC machine

2013-04-14 Thread Ivan Loskutov
Hi Yuqing, I'll upload ipxe with my changes to Github in few days. About hardcode address I've mean that I manually set loading address in iPXE loader to bigest region of memory layout my PC. Because ipxe has selected small region which has not enought space for my image. -- Ivan Loskutov 2013/

Re: how to install Genode on PC machine

2013-04-14 Thread Jian Liu
2013/4/10 Ivan Loskutov > > 2013/4/10 yuqing wang > >> I downgrade qemu,fedora can start now. >> But fedora can not connect to the internet in qemu,it is strange.The log >> file is attached. >> > For connect to the internet you need configure ethernet in l4linux. I > didn't do auto configuration

Re: how to install Genode on PC machine

2013-04-14 Thread yuqing wang
Hi, Can you tell me the details about how to use iPXE for boot l4linux.I browse the webpage of iPXE, can only find a useful example of network-booting windows PE. I conclude the process of booting windows PE in three steps step 1: move the kernal and module files to a directory on the web server s

Re: how to install Genode on PC machine

2013-04-10 Thread Ivan Loskutov
2013/4/10 yuqing wang > I downgrade qemu,fedora can start now. > But fedora can not connect to the internet in qemu,it is strange.The log > file is attached. > For connect to the internet you need configure ethernet in l4linux. I didn't do auto configuration in this rootfs. Try do: ifconfig eth0

Re: how to install Genode on PC machine

2013-04-09 Thread Ivan Loskutov
L4linux didn't start because atapi_drv crashed: [init -> atapi_drv] Io error! I have the same error with qemu-1.4.0 but it works with qemu-1.2.2. You can downgrade qemu or disable hard disk access in run script (attached). -- Ivan Loskutov 2013/4/9 yuqing wang > I downloaded the sources from

Re: how to install Genode on PC machine

2013-04-08 Thread Ivan Loskutov
Try sources from our fork https://github.com/Ksys-labs/genode from branch * staging*. You can try *fedora.run* run script from *iloskutov* folder. It worked for me on my hardware. -- Ivan Loskutov 2013/4/8 yuqing wang > I update the patches I can find related to issue #593 ,some are writed b

Re: how to install Genode on PC machine

2013-04-08 Thread yuqing wang
I update the patches I can find related to issue #593 ,some are writed by chelmuth and some by alex-ab .But the issue still occur. I am not familiar with Github,maybe I missed some files,I will still work on it. When I try to find the patches related to issue #593,I find that the genode source tr

Re: how to install Genode on PC machine

2013-04-08 Thread Ivan Loskutov
Try to apply patches from Christian Helmuth which related to issue #593 thread. This must partialy solve this issue. But sometimes I have the same messages too. -- Ivan Loskutov 2013/4/8 yuqing wang > Hi Ivan, > Thank you.I read the mails at the website > https://github.com/genodelabs/genode/

Re: how to install Genode on PC machine

2013-04-08 Thread yuqing wang
Hi Ivan, Thank you.I read the mails at the website https://github.com/genodelabs/genode/issues/593 ,and I find that there is not a clear way to solve my issue. I notice that you have tested the network performance of l4linux on real hardware.The Ethernet card in your test is intel 82579LM. Do you k

Re: how to install Genode on PC machine

2013-04-07 Thread Ivan Loskutov
Hi, it's known issue https://github.com/genodelabs/genode/issues/593 -- Ivan Loskutov 2013/4/8 yuqing wang > Hi, > I want to run l4linux on real hardware to do some research about its > network.I use l4linux.run script to create the files which I would copy to > my hard disk.I also modified t

Re: how to install Genode on PC machine

2013-04-07 Thread Jian Liu
I think the main point for your prolbem is the error could be only reoccured in your physical test machine. Does Genode support serial line debugging for phycial machine? Linuxs support this way debugging, and some initial parameters should be set up for kernels in menu.lst. How about for Genode? I

Re: how to install Genode on PC machine

2013-04-07 Thread yuqing wang
Hi, I want to run l4linux on real hardware to do some research about its network.I use l4linux.run script to create the files which I would copy to my hard disk.I also modified the menu.lst file in my PC according to the menu.lst in l4linux.iso file created by run script. The motherboard of my PC i

Re: how to install Genode on PC machine

2013-03-27 Thread Jian Liu
Thanks all, I will try it. Jian LIU email to: gjk@gmail.com 2013/3/27 Ivan Loskutov > Hi Jian, > > I recommend you to make bootable USB flash or setup network boot. > For booting you can use Grub or Grub2, but genode's vesa driver can't use > some modern video adapters, and it c

Re: how to install Genode on PC machine

2013-03-27 Thread Ivan Loskutov
Hi Jian, I recommend you to make bootable USB flash or setup network boot. For booting you can use Grub or Grub2, but genode's vesa driver can't use some modern video adapters, and it can be solved with using patched version of Grub from Adam Lackorzynski http://os.inf.tu-dresden.de/~adam/grub/ St

how to install Genode on PC machine

2013-03-26 Thread Jian Liu
Hi Norman, With your help, I have now some experiences on Genode, such as building and demo it in Qemu. I have also learned about the whole structure of source code and some calling relastionship in the system. Now I try to install Genode in my PC (the physical machine) and boot it from hard dr