Initializing of the sel4 tutorials fails because of missing the CMakeLists.txt

newer
Plans for verification of IOMMU...

older
Re: [seL4] Suggestion for...

Florian Berenbrinker

7 Jan 2020 7 Jan '20

5:32 p.m.

Attachments:

attachment.html (text/html — 5.4 KB)

Show replies by date

Mcleod, Kent (Data61, Kensington NSW)

9 Jan 9 Jan

11:43 a.m.

...

Hello, I tried to initialize the simple hello-word example and I get the following error. Maybe someone has an idea why the CmakeLists is not generated. I believe what you are seeing is caused by this issue: https://github.com/SEL4PROJ/sel4-tutorials/issues/40 The current work-around is to use an older version of CMake than 3.16.0. You can follow that issue for a notification when the underlying problem is fixed.

./init --tut hello-world --verbose INFO:sh.command:<Command '/usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world'>: starting process DEBUG:sh.command.process:<Command '/usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world'>.<Process 4805 [b'/usr/local/bin/cmake', b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', b'-DTUTORIAL_DIR=hello-world', b'-C', b'../projects/sel4-tutorials/settings.cmake', b'/home/flo/sel4-tutorials-manifest/hello-world']>: started process INFO:sh.command:<Command '/usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world', pid 4805>: process started DEBUG:sh.command.process:<Command '/usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world'>.<Process 4805 [b'/usr/local/bin/cmake', b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', b'-DTUTORIAL_DIR=hello-world', b'-C', b'../projects/sel4-tutorials/settings.cmake', b'/home/flo/sel4-tutorials-manifest/hello-world']>: acquiring wait lock to wait for completion DEBUG:sh.command.process:<Command '/usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world'>.<Process 4805 [b'/usr/local/bin/cmake', b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', b'-DTUTORIAL_DIR=hello-world', b'-C', b'../projects/sel4-tutorials/settings.cmake', b'/home/flo/sel4-tutorials-manifest/hello-world']>: got wait lock DEBUG:sh.command.process:<Command '/usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world'>.<Process 4805 [b'/usr/local/bin/cmake', b'-G', b'Ninja', b'-DTUT_BOARD=pc', b'-DTUT_ARCH=x86_64', b'-DTUTORIAL_DIR=hello-world', b'-C', b'../projects/sel4-tutorials/settings.cmake', b'/home/flo/sel4-tutorials-manifest/hello-world']>: exit code not set, waiting on pid loading initial cache file ../projects/sel4-tutorials/settings.cmake -- Found capdl: /home/flo/sel4-tutorials-manifest/projects/capdl -- Found camkes-tool: /home/flo/sel4-tutorials-manifest/projects/sel4-tutorials CMake Error: The source directory "/home/flo/sel4-tutorials-manifest/hello-world" does not appear to contain CMakeLists.txt. Specify --help for usage, or press the help button on the CMake GUI. Traceback (most recent call last): File "./init", line 96, in <module> File "./init", line 85, in main File "/home/flo/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 106, in init_directories return _init_build_directory(config, initialised, build_directory, tute_directory, output, config_dict=config_dict) File "/home/flo/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 74, in _init_build_directory return sh.cmake(args + [tute_directory], _cwd=directory, _out=output, _err=output) File "/usr/local/lib/python3.6/dist-packages/sh.py", line 1427, in __call__ return RunningCommand(cmd, call_args, stdin, stdout, stderr) File "/usr/local/lib/python3.6/dist-packages/sh.py", line 774, in __init__ self.wait() File "/usr/local/lib/python3.6/dist-packages/sh.py", line 792, in wait self.handle_command_exit_code(exit_code) File "/usr/local/lib/python3.6/dist-packages/sh.py", line 815, in handle_command_exit_code raise exc sh.ErrorReturnCode_1: RAN: /usr/local/bin/cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world -C ../projects/sel4-tutorials/settings.cmake /home/flo/sel4-tutorials-manifest/hello-world STDOUT: STDERR:

Thanks and Regards Florian

Florian Berenbrinker

12 Jan 12 Jan

11:39 p.m.

New subject: camkes component consuming two events question.

Hi sel4 experts, I started playing around with camkes using signals / events , data providers and connections between 3 different components. I tried to generate a component that can receive events from two different endpoints by registering a callback for both endpoints. echo_reg_callback(callback_handler_EchoIn, NULL); echo1_reg_callback(callback_handler_EchoOut, NULL); component Echo { ………... consumes TheEvent echo; consumes TheEvent echo1; ……………... } assembly { composition { ………….. connection seL4Notification echo_event_in(from producer.echo, to echo.echo); connection seL4Notification echo_event_out(from consumer.echo1, to echo.echo1); …………. } Everything compiles without errors. But, if I start now the simulation I noticed that event .echo1 is never received by the Echo C component. Also I noticed that the connection seems to be depending on the event name. If I rename the echo event I also miss that event. So my question: How can I make the second event (echo1) received by the echo C component? Thanks for your help. Florian

Mcleod, Kent (Data61, Kensington NSW)

16 Jan 16 Jan

4:25 p.m.

New subject: camkes component consuming two events question.

Hi,

...

Hi sel4 experts,

I started playing around with camkes using signals / events , data providers and connections between 3 different components. I tried to generate a component that can receive events from two different endpoints by registering a callback for both endpoints.

echo_reg_callback(callback_handler_EchoIn, NULL); echo1_reg_callback(callback_handler_EchoOut, NULL);

component Echo { ………... consumes TheEvent echo; consumes TheEvent echo1; ……………... } assembly { composition { ………….. connection seL4Notification echo_event_in(from producer.echo, to echo.echo); connection seL4Notification echo_event_out(from consumer.echo1, to echo.echo1); …………. }

Everything compiles without errors. But, if I start now the simulation I noticed that event .echo1 is never received by the Echo C component.

Also I noticed that the connection seems to be depending on the event name. If I rename the echo event I also miss that event.

So my question: How can I make the second event (echo1) received by the echo C component?

The architecture that you have described should generate the behavior that you are expecting. Having 2 emitters linked up to a single receiver that registers 2 handlers, 1 for each event type, would experience the handler getting called once for each incoming event. I can't easily see what is causing your issue without more source code, but you could maybe try disabling each connection and see if you receive each different event individually before enabling them both.

...

Thanks for your help. Florian

Thanks, Kent.

1994

Age (days ago)

2003

Last active (days ago)

List overview

Download

3 comments

2 participants

participants (2)

Florian Berenbrinker
Mcleod, Kent (Data61, Kensington NSW)