Gernot.Heiser wrote:
> We have just received this comment on github, which I think merits some
> explanation:
>> There are times when IPC needs to happen, but a sending process cannot wait
>> around for another process to be receiving. seL4_NBSend is basically the
>> system call for this, but i
On Wed, Sep 28, 2016 at 4:40 PM, wrote:
> On 29 Sep 2016, at 1:44 , Richard Habeeb wrote:
>
>
> I think I should be able to make it work with Call/Reply. I don't really
> like that the calling process isn't able to verify the identity/badge of the
> replying process, but I realize why this is th
On Tue, May 15, 2018 at 7:43 AM, Paolo Crisafulli
wrote:
> Hi there,
>
> I have written a seL4 app using CAmkES, that I am continuously building
> using Jenkins.
>
> I'd like to add a test step to this continuous integration process,
> launching the app with qemu and parsing the output to validate
x27;m not sure, apologies.
> Is that expected?
Not in my experience, I believe it should exit, although I see this
"-no-quit" command line option,
that deals with the graphical window close though so i wouldn't expect
it to change this behavior
> On 15/05/18 21:08, Matt Ri
On Fri, Jan 10, 2020 at 1:36 PM G. Branden Robinson
wrote:
>
> [I added a subject to the thread.]
>
> At 2020-01-10T15:19:17+0300, abdi mahmud haji wrote:
> > hey guys
> > I'm abdurahman and i have same question for you
> > i have been studying microkernel for a little well now specially seL4
> >
On Tue, Apr 6, 2021 at 1:56 PM Royce Mitchell III wrote:
> Hi all, I've been passively following seL4 for several years. I've been
> reading the documentation, tutorials, watching YouTube videos.
>
> The concepts behind capabilities and other types of kernel objects are
> starting to sink in but
On Wed, Apr 7, 2021 at 12:17 PM William ML Leslie <
william.leslie@gmail.com> wrote:
> On Wed, 7 Apr 2021 at 19:27, Matt Rice wrote:
> >
> >
> > It is a bit difficult to introduce string -> capability lookups without
> > introducing some form of amb
On Wed, Jan 24, 2024 at 6:13 PM Leonid Meyerovich wrote:
>
> My root task (root thread created by kernel) checks for fault from the
> other threads, which are created in root thread with badged fault_ep
>
> seL4_Word badge;
> seL4_MessageInfo_t messageInfo = seL4_NBRecv(init_objects.fault_
On Fri, Jul 12, 2024 at 6:19 AM Gerwin Klein via Devel
wrote:
>
> The Technical Steering Committee (TSC) of the seL4 Foundation will hold its
> next public meting on:
s/meting/meeting, looking back I notice the same typo me[e]ting in the
previous TSC announcement.
So presumably this typo needs t
On Tue, Jul 23, 2024 at 3:53 AM Gerwin Klein wrote:
>
>
>
> > On 12 Jul 2024, at 23:39, Matt Rice wrote:
> >
> > [You don't often get email from ratm...@gmail.com. Learn why this is
> > important at https://aka.ms/LearnAboutSenderIdentification ]
> >
10 matches
Mail list logo