Building Bash on seL4 to deploy on an iMX.6 Sabre Lite, running into an error

Help / Tech Support
1

Hello Genodians! It has been too long since I have experimented with Genode, and I’d like to start going strong again. I’m not ready to build Sculpt just yet, so I would like to experiment with something much, much simpler like a plain Bash shell. (I don’t even know if Sculpt will run on an iMX.6)

I have just cloned the master git repo, and did a git checkout to the 25.05 branch. I have both the 23.x and 25.x tool chains installed.

I have properly created my arm_v7a build directory, and edited my build.conf as best as I could. My board is selected and my kernel is set to sel4

When I run make run/bash, I receive this strange error from the run script that I have never seen before:

[jdd@garagemac arm_v7a]$ make run/bash
including /home/jdd/Source/genode/repos/ports/run/bash.run
invalid command name "base_src"
    while executing
"base_src"
    (file "/home/jdd/Source/genode/repos/ports/run/bash.run" line 3)
    invoked from within
"source $include_name"
    ("foreach" body line 6)
    invoked from within
"foreach include_name [cmd_arg --include ""] {
	# first check if the include name is absolute
	if {[string first "/" $include_name] == 0} {
		puts "inc..."
    (file "/home/jdd/Source/genode/tool/run/run" line 1264)
make: *** [Makefile:446: run/bash] Error 1

Any idea what is going on?

2

Can you double-check whether you have the following line in your etc/build.conf?

RUN_OPT += --include boot_dir/$(KERNEL)
1 Like
3

I can’t sleep so I’ll head to my workshop and check right now

4

That line is indeed in the file as it should be, and this problem was an oversight on my part - I had thought that I had specified the kernel, but I must have forgotten to uncomment the relevant line this build. Many thanks!

1 Like