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.
By the way, my genode version is 13.02, that is same with you ?
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?
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
