Re: [seL4] How to get a capability of a virtual address

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 -- Tim Newsham

Re: [seL4] seL4 + Qubes OS Project

the unproven ports. On Wed, Mar 18, 2015 at 8:59 AM, Marcus Hähnel mar...@mh-development.info wrote: On 2015-03-18 16:32, Tim Newsham wrote: Though thats still a bit different than what qubes gives you, and although the TCB is smaller, none of it is proven. Which, just to nitpick, it is neither

[seL4] am335x patches - refos working

RefOS is now working fine on am335x / beaglebone black. Patches attached. Tim From 3761794154c71239bd79748a0c5b44d5ae4d1b0e Mon Sep 17 00:00:00 2001 From: Tim Newsham tim.news...@gmail.com Date: Sat, 14 Mar 2015 15:36:30 -1000 Subject: [PATCH 1/2] - allow UART to be used even in debug mode

Re: [seL4] A port to the Raspberry Pi 2?

interesting) [...] ___ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com ___ Devel mailing

Re: [seL4] Progress of bringing Genode to seL4

@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

Re: [seL4] MySQL - seL4

If you were able to run mysql on sel4, by itself, it wouldn't provide you much. What sel4 could buy you is isolation between mysql and other applications if you chose to run several processes on the same machine. The processes themselves, including mysql, would still be vulnerable to any

Re: [seL4] Raspberry Pi version for learning about seL4

be a nice platform to use to get my head around seL4 and experiment with virtualising Linux and maybe Android? Simon Sent from my iPad ___ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel -- Tim Newsham

Re: [seL4] Camkes MMIO Driver Failed to find device frame

gt; https://urldefense.proofpoint.com/v2/url?u=https-3A__sel4.systems_lists_listinfo_devel=AwIFAg=SgMrq23dbjbGX6e0ZsSHgEZX6A4IAf1SO3AJ2bNrHlk=vxDfYJYhOaaufTHzA3yxVVn--9Yf3Ig5TrUiTFGL8pc=xES3WJjaY0BbvKig8sNNQD6C8RdHjP2OrtyIzDDzCSQ=rKkqGJPIQpRtHhsDyxjrcUE5EBpZ9S3AHoMVeHB707s= >> >> ____________ >> >> The infor

Re: [seL4] Hardware Platform for sel4 and running linux as guest os

ists/xen/users/369667 > > > > > -- > T o mM i t c h e l l > > ___ > 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

Re: [seL4] Beaglebone black/CAmkES issue

l assuming self kill > > > ___________ > 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

Re: [seL4] Timer for AM335x

s/timer/src/timer.c:58: > undefined reference to `dm_oneshot_relative' > collect2: error: ld returned 1 exit status > > > ___ > Devel mailing list > Devel@sel4.systems > https://sel4.systems/li

Re: [seL4] Send input to seL4 in QEMU

rs, we are using CAmkES as well. > > Thanks, > Andrew > > ___ > Devel mailing list > Devel@sel4.systems > https://sel4.systems/lists/listinfo/devel > -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.

Re: [seL4] Bitcoin on seL4?

Dong > > accou...@carldong.me > > > > > > > > ___ > > Devel mailing list > > Devel@sel4.systems > > https://sel4.systems/lists/listinfo/devel > > > > ___ > 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