Hello,
I have written up the first of a series of articles about using seL4 as base platform for the Genode OS framework:
http://genode.org/documentation/articles/sel4_part_1
I hope that it contains useful bits of information for novices of seL4 and Genode alike. Even though the article outlines a few hurdles, the overall experience of using the kernel had been overly positive so far.
For those of you interested in tracking the progress of the ongoing work, here is the corresponding topic branch:
https://github.com/nfeske/genode/commits/sel4
Cheers Norman
Hello,
after a rather long pause, I recently picked up my work on using the seL4 kernel as base platform for Genode:
http://genode.org/documentation/articles/sel4_part_2
The second part of the article series goes into detail about the kernel mechanisms that I deem as most relevant for Genode, namely IPC and the management of virtual memory.
All the steps described in the article can be reproduced via my corresponding topic branch, which I have just rebased on top of Genode's master branch:
https://github.com/nfeske/genode/commits/sel4
Cheers Norman
On 10/30/2014 01:27 PM, Norman Feske wrote:
Hello,
I have written up the first of a series of articles about using seL4 as base platform for the Genode OS framework:
http://genode.org/documentation/articles/sel4_part_1
I hope that it contains useful bits of information for novices of seL4 and Genode alike. Even though the article outlines a few hurdles, the overall experience of using the kernel had been overly positive so far.
For those of you interested in tracking the progress of the ongoing work, here is the corresponding topic branch:
https://github.com/nfeske/genode/commits/sel4
Cheers Norman
hello genode hackers, i am using the staging branch as you recommend, i made the changes proposed by Dr Feske, and it compile fine, but i cant get a good serial output. I config the baudrate at 115200 but the result was the same.
best regards waldo
Hi Waldo,
I'm a little bit confused. Didn't you had UART already working as stated in your forelast mail? Are you sure that your current state still uses the UART configuration you'd adapted to your platform? Maybe there is a problem with your include paths? The '#include <drivers/board_base.h>' in your 'base-hw/src/core/include/spec/cortex_a9/board_support.h' should be resolved to 'base/include/platform/yse5250/drivers/board_base.h' to ensure that 'base-hw/src/core/include/spec/exynos5/serial.h' uses the correct enums.
You can check this by doing:
cd $BUILD_DIR VERBOSE= make core | grep "-I$ABSOLUTE_GENODE_PATH/repos/base/include/platform/"
If this prints out a line that has 'arndale' or 'odroid_xu' after the 'include/platform/' there is something wrong in your 'base/mk/spec-platform_yse5250.mk' or you're using the wrong 'base/mk/spec-platform_*.mk' file. The latter is the case if there is a bad include call in your 'base-hw/mk/spec-hw_yse5250.mk' or if you're using the wrong 'base-hw/mk/spec-hw_*.mk' file which would be caused by a wrong SPEC in your '$BUILD_DIR/etc/specs.conf'
Please let me know wether this solved your problems.
Cheers, Martin
On 10.03.2015 19:12, Waldo Paz Rodriguez wrote:
hello genode hackers, i am using the staging branch as you recommend, i made the changes proposed by Dr Feske, and it compile fine, but i cant get a good serial output. I config the baudrate at 115200 but the result was the same.
best regards waldo
Dive into the World of Parallel Programming The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net/ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Martin Stein -
Norman Feske -
Waldo Paz Rodriguez