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 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
