Hi,
On Sat, Aug 30, 2008 at 11:52:14PM +0530, Shakthi Kannan wrote:
=== OUTPUT ===
int main(): --- create local services --- int main(): --- start init --- int main(): Ok we have 943 MB transferred to init int main(): --- init created, waiting for exit condition --- [init] our quota limit is 989753328 [init] our used quota is 143360 [init] starting ps2_drv with quota=1048576 [init] using unique child name "ps2_drv" virtual int Genode::Rm_client::pager (Fiasco:Ipc_pager&): no RM attachment (pf=bfeffffc ip=1016034 WRITE from 10.00)
=== END ===
This looks like you're not using the cross compiler. The page fault address "pf=bfeffffc" is in the standard user-level thread control block (UTCB) area of L4/Fiasco, which uses the GS register as UTCB pointer. Your standard Linux C++ compiler uses GS as thread-local storage (TLS) pointer and most likely tries to access thread-local data in the supc++ library.
Please check the etc/tools.conf file in your genode_fiasco build directory for a line similar to:
CROSS_DEV_PREFIX = /usr/local/crosstool/gcc-4.1.1-glibc-2.3.6/i686-unknown-linux-gnu/bin/i686-unknown-linux-gnu-
Afterwards run "make VERBOSE=" to get a complete log and check which GCC compiler is used. This hint is somewhat "hidden" at the bottom of the wiki page about Genode on L4/Fiasco.
Appreciate any inputs, on how I can boot and test L4/Fiasco with Genode. Do you have an IRC channel for discussion?
As our developer "community" is not that big currently, we only use this mailing list. I hope the latency of 1-3 days is okay for you.
Regards