Dear sel4 community,
yesterday I've started to develop a low-level platform test to stress several
multi-processor aspects on top of the Genode API. Thereby, I've
recognized that on sel4/x86_64 the TLB is practically not always
cleaned properly in SMP systems.
The test spawns threads of one protection domain on each available cpu.
Each thread accesses one of the first words of a shared dataspace.
Afterwards the main thread on CPU 0 detaches and destroys the
dataspace. Unfortunately, the threads on other CPUs still successfully
access the corresponding memory instead of triggering a fault.
To be able to reproduce the problem, you might investigate the simple
test case here:
https://github.com/skalk/genode/commit/2d2d7f982555f551227ad5dcbf9df46705d7…
My colleague Alexander Boettcher already investigated the problem in
part, and might share his insights with you.
Best regards
Stefan
--
Stefan Kalkowski
Genode labs
https://github.com.skalk | https://genode.org
Hi Developers,
This is Aditya Upadhyay, would like to contribute in SeL4 microkernel.
I am trying to figure out any open projects on wiki page of SeL4 Systems.
One project that is related to POSIX Compliance. I can see here:
https://docs.sel4.systems/SuggestedProjects.html
but I am still figuring out the stuff to contribute. Any Valuable
suggestions would be appreciated. Would you like to point any blogs related
to SeL4?
I have some experience of contributing the code in Open Source Organisation
Newlib-Cygwin. I was working on POSIX Compliance for RTEMS as a part of
Google Summer of Code 2017 Students internship.
To stick to Open Source, I am mentoring RTEMS Google Summer of Code Project
this year also. I have always learned from mentoring and contributing to
open source.
I have deep understanding of Linux Operating System Internals and
Monolithic Kernels as well. I am also looking for Research Internship in
Distributed Systems especially in Microkernel and Microhypervisor field. I
am open for any research oriented projects in this field.
Regards,
Aditya Upadhyay
Okay! Aditya,
Let’s research together :)
BR,
MK
Sent from my iPhone
> On 26 Mar 2019, at 6:43 AM, "devel-request(a)sel4.systems" <devel-request(a)sel4.systems> wrote:
>
> Send Devel mailing list submissions to
> devel(a)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(a)sel4.systems
>
> You can reach the person managing the list at
> devel-owner(a)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: some questions about camkes-manifest
> (Anna.Lyons(a)data61.csiro.au)
> 2. Interested in Contributing to SeL4 (Aditya Upadhyay)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Mon, 25 Mar 2019 02:23:22 +0000
> From: <Anna.Lyons(a)data61.csiro.au>
> To: <yadong.li(a)horizon.ai>, <devel(a)sel4.systems>
> Subject: Re: [seL4] some questions about camkes-manifest
> Message-ID: <1553480602203.73891(a)data61.csiro.au>
> Content-Type: text/plain; charset="iso-8859-1"
>
> Hi,
>
>
> 1. You can find the library in https://github.com/SEL4PROJ/projects_libs?
>
> 2. Sorry, we do not have any public demos that use this library. It has mainly been used in experimental contexts.
>
>
> Cheers
>
> Anna.
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <http://sel4.systems/pipermail/devel/attachments/20190325/580f5330/attachmen…>
>
> ------------------------------
>
> Message: 2
> Date: Mon, 25 Mar 2019 22:01:09 +0530
> From: Aditya Upadhyay <aditya.sidd.upadhyay(a)gmail.com>
> To: devel(a)sel4.systems
> Subject: [seL4] Interested in Contributing to SeL4
> Message-ID:
> <CAP7bF08qCr2dxd=WwbRwKuJP8ZqNc1RswNJbsfnyZ5Dxg1rjCg(a)mail.gmail.com>
> Content-Type: text/plain; charset="utf-8"
>
> Hi Developers,
>
> This is Aditya Upadhyay, would like to contribute in SeL4 microkernel.
>
> I am trying to figure out any open projects on wiki page of SeL4 Systems.
> One project that is related to POSIX Compliance. I can see here:
> https://docs.sel4.systems/SuggestedProjects.html
> but I am still figuring out the stuff to contribute. Any Valuable
> suggestions would be appreciated. Would you like to point any blogs related
> to SeL4?
>
> I have some experience of contributing the code in Open Source Organisation
> Newlib-Cygwin. I was working on POSIX Compliance for RTEMS as a part of
> Google Summer of Code 2017 Students internship.
>
> To stick to Open Source, I am mentoring RTEMS Google Summer of Code Project
> this year also. I have always learned from mentoring and contributing to
> open source.
>
> I have deep understanding of Linux Operating System Internals and
> Monolithic Kernels as well. I am also looking for Research Internship in
> Distributed Systems especially in Microkernel and Microhypervisor field. I
> am open for any research oriented projects in this field.
>
> Regards,
> Aditya Upadhyay
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <http://sel4.systems/pipermail/devel/attachments/20190325/3cbbe26b/attachmen…>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Devel mailing list
> Devel(a)sel4.systems
> https://sel4.systems/lists/listinfo/devel
>
>
> ------------------------------
>
> End of Devel Digest, Vol 58, Issue 5
> ************************************
When running sel4 in my processor it is taking too long to get this line
"vka_alloc_object_at_maybe_dev@object.h:65 Failed to allocate object of
size 268435456, error 1"
Is there any options to reduce allocation object size?
Or any other methods to speed up
Regards,
Sreenadh S
CDAC, Trivandrum, India
hi,
I have some questions about camkes-manifest
1、I find the libsdhcdrivers in /projects/projects_libs of the project. But where can I find the superset of these libs by git? I can't find the maintenance branch about libsdhcdrivers (like 'seL4_libs' ) in https://github.com/seL4
2、I can't find who use the function of libsdhcdrivers, what is the plan of the lib ? Is there some demo using sdhc ?
Thank you very much
Hello Micro kernel develper
I’m MK. Nice to meet u.
I’ll research and commit ARMv8 and virtualization in Sel4
你好。谢谢。 반갑습니다
Thank you
BR,
MK
Sent from my iPhone