Tim already found it, but just for those on the list who haven’t read the article: this paragraph is about how traditional L4 kernels did this, as opposed to seL4, which doesn’t have the problem (nor a mapping database).
Cheers, Gerwin > On 11.03.2015, at 04:02, Tim Newsham <tim.news...@gmail.com> wrote: > > Your article says: > "Second, the mapping database keeps records about how mappings got > established. Thereby, the memory required for storing this information > in the kernel depends on the behaviour of the user land. As a > consequence, a malicious user-level program is able to provoke a high > consumption of kernel memory by establishing mappings. Eventually, > this represents an attack vector for denial-of-service attacks onto > the kernel." > > Is this right? I thought that the callers have to provide the resources > that get consumed by the kernel to perform system calls. Is this > not the case in this situation? > > > On Tue, Mar 10, 2015 at 2:20 AM, Norman Feske > <norman.fe...@genode-labs.com> wrote: >> Hello, >> >> I went a bit further with bringing seL4 and Genode together. The >> following article describes a series of small experiments with the >> kernel's IPC mechanism and the management of virtual memory. >> >> http://genode.org/documentation/articles/sel4_part_2 >> >> The steps described in the article can be reproduced via my >> corresponding topic branch, which I have just rebased on top of Genode's >> master branch: >> >> https://github.com/nfeske/genode/commits/sel4 >> >> Cheers >> Norman >> >> >> On 10/30/2014 01:26 PM, Norman Feske wrote: >>> Hello, >>> >>> I have written up the first of a series of articles about using seL4 as >>> base platform for the Genode OS framework: >>> >>> http://genode.org/documentation/articles/sel4_part_1 >>> >>> I hope that it contains useful bits of information for novices of seL4 >>> and Genode alike. Even though the article outlines a few hurdles, the >>> overall experience of using the kernel had been overly positive so far. >>> >>> For those of you interested in tracking the progress of the ongoing >>> work, here is the corresponding topic branch: >>> >>> https://github.com/nfeske/genode/commits/sel4 >>> >>> Cheers >>> Norman >> >> -- >> Dr.-Ing. Norman Feske >> Genode Labs >> >> http://www.genode-labs.com · http://genode.org >> >> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden >> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth >> >> _______________________________________________ >> Devel mailing list >> Devel@sel4.systems >> https://sel4.systems/lists/listinfo/devel > > > > -- > Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com > > _______________________________________________ > Devel mailing list > Devel@sel4.systems > https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
