Thanks for the support, and thank you Hinnerk for sharing your GitHub branch, so far it was very useful to me when dealing with some errors. I've looked into .mk files from base-hw and yes, the io_port* files only get added to the core-hw.mk if one compiles for x86_64, so I've excluded these files from core-sel4.mk file. After excluding io_port* files, and clearing out seL4 object type related errors (e.g seL4_X86_4K) it got me through compile phase. The compiled image hangs on ## Starting application at 0xe0000000 … which appears to be an invalid address. All my previous apps were starting at 0x10001000. I've assumed that this is because I didn't include platform specific files that can be found in base-hw/src/core/spec and base-hw/src/core/include/spec directories.
Copying spec files from base-hw dir to my base-seL4/src/core/ directory and including them into my build didn't give me anything so far. When attempting to include them into my core-seL4.mk file normally resulted in one or the other file missing or doesn't exist error. But at least it improved my understanding of Genode's make process.
For now I just want to confirm one thing about core-seL4.mk file. Want to make sure that I understand everything correctly. The files that are included through SRC_CC in core-seL4.mk. Not all of them are present in base-seL4/src/core. So, where does it pull the files that are not in base-sel4/src/core? Do they come from repos/base/src/core directory?
On Tue, Apr 4, 2017 at 5:26 AM, Stefan Kalkowski < stefan.kalkowski@...1...> wrote:
On 04/03/2017 10:49 AM, Martin Stein wrote:
Hey Yevgeny.
Am 03.04.2017 um 04:49 schrieb Yevgeny Lavrov:
Hi,
Thanks for the hints. I managed to solve the sd_card_bench issue. I've tried to print out completion state as Martin suggested by making the following changes to: <genode-dir>/repos/os/src/drivers/sd_card/spec/imx/driver.cc
driver.cc : line 131: error("command timed out irqstat: ", Mmio::read<Irqstat>());
And got the following output during run: “[init -> sd_card_bench] Error: command timed out irqstat: 0” I assumed that Genode is unable to locate the device for some reason, and decided to see if the same approach that worked for the UART would work here as well. Went back to /repos/base/include/spec/imx6/drivers/board_base.h and adjusted the SDHC variables to these values:
/* SD host controller */ SDHC_IRQ = 56, SDHC_MMIO_BASE = 0x02198000,
This did the trick and sd_card_bench successfully executed :)
Cool :)
Eventhough, I wonder that you were able to successfully do a reset with the other parameters. But maybe there is a second controller at 0x02190000 without a card inserted.
In fact, the i.MX6 SoCs have even four different SDHC controllers. Obviously, the card-slot of the i.MX6Q Sabre Lite is connected to a different controller than the one of the Wandboard.
@m-stein: sorry, I forgot that point when I asked you for support to investigate this
Regards Stefan
Cheers, Martin
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-- Stefan Kalkowski Genode Labs
https://github.com/skalk · http://genode.org/
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main