l4android can not run rightly on Pandaboard?

[Stefan Kalkowski]

Hi,

On 04/10/2013 02:08 PM, longjks wrote:
> hi,
> 
> Stefan wrote
> 
>>Maybe, you're not using a high capacity card? The driver only supports
>>SDHC cards.
> 
> You are right! I used a sdcard, not SDHC card. Now I used SDHC card to start l4Android on PandaBoard.
> 
>  However it still can not boot well. some error like this:
> 
> "virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400fef3c ip=1023ad0"
> 
> Just like you mail said before,you put a patch on the Internet(https://github.com/genodelabs/genode/issues/705).
> 
>  Before I use this batch, the sdcard_driver can not find the SDHC card.
> After I use this patch, the sdcard_driver can find the SDHC card, but
> 
> there are another error like above.   I used the l4android.run script your said, this error is still there.
> 
>  I  am finding the way to solving this error, maybe you can help me to fix this error.
> 
> You can get the log of using my l4android.run script,  my l4android run script. and  the log of using your l4android.run script in the attachment.

well, from the log I only can see, there is probably still a thread that
exceeds its stack. You can enter the kernel-debugger yourself (pressing
ESC in the serial terminal), and press "lp" to show the process list.
One thread will wait for the pager of the system, thereby you can
identify the component that raised the fault.

> 
> By the way, my genode version is 13.02, that is same with you ?

I've used current master branch of Genode's Github repository. You can
simply checkout the branch, where I've put the run-script into:

repo:   git://github.com/skalk/genode.git
branch: l4android-panda

>From your log messages I can see, that you've modified the code, and
added at least several print messages. Please, ensure that you take the
unmodified version first.

> My SDHC card's capacity is 4G. It has three partitions. The first
> partition is bootable FAT32 partition, 128M,where I put MIO and
> uboot.bin. The second partition is EXTS partition, 256M, where I put
> Android system image. The third partition is EXTS partititon, 1000M.
> that is  OK?

You don't need to format the second partition, but the size is ok. Just
copy the system-ginger.img file e.g. via "dd" to the second partition.
The third partition won't be affected.

Regards
Stefan

> 
> thanks
> 
> 
> 
> 
> 
> 
> 
> 
> 
> ------------------------------------------------------------------------------
> Precog is a next-generation analytics platform capable of advanced
> analytics on semi-structured data. The platform includes APIs for building
> apps and a phenomenal toolset for data science. Developers can use
> our toolset for easy data analysis & visualization. Get a free account!
> http://www2.precog.com/precogplatform/slashdotnewsletter
> 
> 
> 
> _______________________________________________
> Genode-main mailing list
> Genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/