Hi Peter,
> In applying the patch, it still doesn't work, but in this case, the boot up
> stops when trying to load "timer" as per the config file i sent in the last
> email. More specifically, this is the output i get when "timer" is loaded:
...
> Attached is a text file showing complete output i get, including the "no RM
> attachment" part.
thanks for testing. For the time being, it seems to be the best to
disable superpages on OKL4, so you can proceed with your work. Please
apply the attached patch to the SVN version of Genode. What we know so
far is that the problem occurs if a binary with a file size greater than
4M (right now, this is only the case for the DDE-Linux-based NIC driver)
is loaded at a 4M-aligned address (this happens only on OKL4). We will
investigate the issue in detail and provide a fix with the next release
coming in May.
Norman
Index: base/src/core/rm_session_component.cc
===================================================================
--- base/src/core/rm_session_component.cc (revision 102)
+++ base/src/core/rm_session_component.cc (working copy)
@@ -108,6 +108,7 @@
* * The offset is located withing a superpage boundary of the
* dataspace
*/
+#if 0
addr_t super_page_trunc_offset = (offset & ~(SUPER_PAGE_SIZE - 1));
if ((dsc->phys_addr() & (SUPER_PAGE_SIZE - 1)) == 0
&& (super_page_trunc_offset + SUPER_PAGE_SIZE) <= dsc->size()) {
@@ -115,6 +116,7 @@
map_size_log2 = SUPER_PAGE_SIZE_LOG2;
pf_addr = pf_addr & ~(SUPER_PAGE_SIZE - 1);
}
+#endif
/*
* Check if dataspace is compatible with page-fault type
------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
