i am working on sel4-tutorials for the first time .i setup my machine accordingly and then when i trying to generate the tutorials like this "./init --tut hello-world" i keep getting an error message and dont know what to do or how to fix it . the error was like bellowing =================================================== abdi@abdi-HP-P-PC:~/sel4-tutorials-manifest$ ./init --tut hello-world loading initial cache file ../settings.cmake CMake Error: Error: generator : Ninja Does not match the generator used previously: Unix Makefiles Either remove the CMakeCache.txt file and CMakeFiles directory or choose a different binary directory. Traceback (most recent call last): File "./init", line 96, in <module> File "./init", line 85, in main File "/home/abdi/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 107, in init_directories return _init_build_directory(config, initialised, build_directory, tute_directory, output, config_dict=config_dict) File "/home/abdi/sel4-tutorials-manifest/projects/sel4-tutorials/common.py", line 75, in _init_build_directory return sh.cmake(args + ['..'], _cwd=directory, _out=output, _err=output) File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 1427, in __call__ return RunningCommand(cmd, call_args, stdin, stdout, stderr) File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 774, in __init__ self.wait() File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 792, in wait self.handle_command_exit_code(exit_code) File "/home/abdi/.local/lib/python3.6/site-packages/sh.py", line 815, in handle_command_exit_code raise exc sh.ErrorReturnCode_1: RAN: /home/abdi/.local/bin/cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL_DIR=hello-world82varrcf -C ../settings.cmake .. STDOUT: STDERR: ====================================================================== is there someone who suggests what i should do please. thanks On Sun, Oct 27, 2019 at 4:00 AM <devel-request@sel4.systems> wrote:
Send Devel mailing list submissions to devel@sel4.systems
To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request@sel4.systems
You can reach the person managing the list at devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."
Today's Topics:
1. Re: releasing confidentiality (Heiser, Gernot (Data61, Kensington NSW)) 2. Fwd: port sel4 to RK3308(quad cortex-a35) (Yun Zhou)
----------------------------------------------------------------------
Message: 1 Date: Sat, 26 Oct 2019 03:07:23 +0000 From: "Heiser, Gernot (Data61, Kensington NSW)" <Gernot.Heiser@data61.csiro.au> To: "devel@sel4.systems" <devel@sel4.systems> Subject: Re: [seL4] releasing confidentiality Message-ID: <5FEA58C5-9011-49B7-9790-28B4B54849EF@data61.csiro.au> Content-Type: text/plain; charset="utf-8"
On 26 Oct 2019, at 08:00, Michael Neises <neisesmichael@gmail.com> wrote:
Hi,
I know that seL4 provides confidentiality, which is described as a
property that "means that data cannot be read without permission." Given this wording, I wonder if it is not possible to revoke those permissions in certain cases. In particular, I would like for one camkes component to be able to perform runtime measurements, such as heap analysis, on another component. Or even better, I would like for a component to be able to perform runtime measurements on a program running within the camkes linux vm. Is such a feat possible?
Hi Michael
seL4’s confidentiality (and other security) enforcement means that the kernel guarantees that you can only access objects to which you have been given explicit permission (in the form of a capability). How those permissions are allocated is a matter of policy, the kernel doesn’t care, it only enforces.
In particular, it is totally possible in seL4 to give one component access to another component’s address space, that’s for the user-level policy framework to decide.
Whether the present CAmkES framework supports this is a different question, which I’ll leave to someone who’s more up to date with CAmkES details.
Gernot
------------------------------
Message: 2 Date: Sat, 26 Oct 2019 10:35:50 +0800 From: Yun Zhou <shiny725829@gmail.com> To: devel@sel4.systems Subject: [seL4] Fwd: port sel4 to RK3308(quad cortex-a35) Message-ID: <CAHNKqcxb7ws3MD=- nwJka6HKEcA4hXZipJv0vdsStetJjxP-yg@mail.gmail.com> Content-Type: text/plain; charset="utf-8"
---------- Forwarded message --------- 发件人： Yun Zhou <shiny725829@gmail.com> Date: 2019年10月25日周五 下午9:52 Subject: port sel4 to RK3308(quad cortex-a35) To: <devel-owner@sel4.systems>
Dear sel4 Experts How are you I found some information about sel4, and sel4 is great microkernel OS, i want port sel4 to RK3308(quad cortex-a35, GICv2) for real time audio signal processing. Form the Tutorials I found sel4 just support cortex-a53, I would like to ask does sel4 support cortex-a35 SMP mode. and because our application is real time audio processing so system delay must lower than 3ms and hard real-time determinism. Will sel4 support real-time signal processing? Looking forward to your reply
Thanks &Kind regards Yun