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 <[email protected]> wrote:
> Send Devel mailing list submissions to
> [email protected]
>
> 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
> [email protected]
>
> You can reach the person managing the list at
> [email protected]
>
> 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)"
> <[email protected]>
> To: "[email protected]" <[email protected]>
> Subject: Re: [seL4] releasing confidentiality
> Message-ID: <[email protected]>
> Content-Type: text/plain; charset="utf-8"
>
> On 26 Oct 2019, at 08:00, Michael Neises <[email protected]> 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 <[email protected]>
> To: [email protected]
> Subject: [seL4] Fwd: port sel4 to RK3308(quad cortex-a35)
> Message-ID:
> <CAHNKqcxb7ws3MD=-
> [email protected]>
> Content-Type: text/plain; charset="utf-8"
>
> ---------- Forwarded message ---------
> 发件人： Yun Zhou <[email protected]>
> Date: 2019年10月25日周五 下午9:52
> Subject: port sel4 to RK3308(quad cortex-a35)
> To: <[email protected]>
>
>
> 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
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <
> http://sel4.systems/pipermail/devel/attachments/20191026/5f066cf7/attachment-0001.html
> >
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Devel mailing list
> [email protected]
> https://sel4.systems/lists/listinfo/devel
>
>
> ------------------------------
>
> End of Devel Digest, Vol 65, Issue 24
> *************************************
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
