Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Tue, Apr 19, 10pm (UTC)
* Sydney: Wed, Apr 20, 8am
* Central Europe: Wed, Apr 20, 12 midnight
* US Pacific Time: Tue, Apr 19, 3pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
On Wed, 6 Apr 2022 at 13:44, Isaac Beckett <isaactbeckett(a)gmail.com> wrote:
> Hello seL4 devel! Recently I was on the developer hangout meeting and
> brought up a ppc port. Interest seemed low, and some even called ppc a
> “niche” architecture which seems unfair.
>
> There was also the much more concrete concerns of funding and overall
> maintenance. I believe an PPC port would be very valuable, and I plan to do
> a whole essay/write up of some sort, but I am also not the most familiar
> with the technical challenges, and could use more information on those.
>
I won't be online tonight, but I +1'd you then and I'll +1 you now.
What sort of powerpc hardware are people using and able to develop for? I
really only know of game consoles, and with the exception of the PS3, these
tend to be so locked down that people don't seem to port other operating
systems to them. I know that Raptor Talos workstations are quite nice and
not so expensive when you compare them with the current state of RISC-V
systems that are actually usable as desktops, but they are still out of
reach of many hobbyists.
IIRC someone (Gerwin?) recently did a breakdown of the costs of a port to a
new architecture, including costs of verification. I guess the challenge
is finding someone for whom that cost is well worth it.
--
William ML Leslie
Hello seL4 devel! Recently I was on the developer hangout meeting and brought up a ppc port. Interest seemed low, and some even called ppc a “niche” architecture which seems unfair.
There was also the much more concrete concerns of funding and overall maintenance. I believe an PPC port would be very valuable, and I plan to do a whole essay/write up of some sort, but I am also not the most familiar with the technical challenges, and could use more information on those.
I do think there is definitely people who would want to run seL4 on PowerPC platforms. PowerPC is one of the few ISAs that has existing, modern hardware without closed-source binary blobs, which I believe pose a real threat to the trustworthiness of the hardware seL4 is currently capable of running on.
Yes, they clash. The audience apart from June, you, and me is distinct, though, so it shouldn't really be a problem.
Cheers,
Gerwin
> On 4 Apr 2022, at 16:11, Gernot Heiser <gernot(a)unsw.edu.au> wrote:
>
> Wed 07:00 UTC (Wed 17:00 EAST) is actually the time of the AGM according to my calendar.
>
> Gernot
>
>> On 4 Apr 2022, at 14:56, Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> wrote:
>>
>> Hi all
>>
>> A friendly reminder that the seL4 developer hangout is on this week:
>>
>> Wed, Apr 6, 7am (UTC), Topics: (open)
>>
>> * Sydney: Wed, Apr 6, 5pm
>> * Central Europe: Wed, Apr 6, 9am
>> * US Pacific Time: Wed, Apr 6, 12 midnight
>>
>> (There are too many time zones in the world to cite them all :-))
>>
>> Zoom link: https://unsw.zoom.us/j/82640784431
>>
>> Cheers,
>> Birg
>>
>>
>>
>> ---
>>
>> Dr. Birgit Brecknell
>>
>> Project Officer
>>
>> Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
>>
>> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
>>
>> 0433 880 571
>>
>>
>>
>> Mon 9am-5pm
>>
>> Wed 9am-12pm
>>
>> Fri 9am-5pm
>>
>> _______________________________________________
>> Devel mailing list -- devel(a)sel4.systems
>> To unsubscribe send an email to devel-leave(a)sel4.systems
>
> _______________________________________________
> Devel mailing list -- devel(a)sel4.systems
> To unsubscribe send an email to devel-leave(a)sel4.systems
Wed 07:00 UTC (Wed 17:00 EAST) is actually the time of the AGM according to my calendar.
Gernot
> On 4 Apr 2022, at 14:56, Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> wrote:
>
> Hi all
>
> A friendly reminder that the seL4 developer hangout is on this week:
>
> Wed, Apr 6, 7am (UTC), Topics: (open)
>
> * Sydney: Wed, Apr 6, 5pm
> * Central Europe: Wed, Apr 6, 9am
> * US Pacific Time: Wed, Apr 6, 12 midnight
>
> (There are too many time zones in the world to cite them all :-))
>
> Zoom link: https://unsw.zoom.us/j/82640784431
>
> Cheers,
> Birg
>
>
>
> ---
>
> Dr. Birgit Brecknell
>
> Project Officer
>
> Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
>
> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
>
> 0433 880 571
>
>
>
> Mon 9am-5pm
>
> Wed 9am-12pm
>
> Fri 9am-5pm
>
> _______________________________________________
> Devel mailing list -- devel(a)sel4.systems
> To unsubscribe send an email to devel-leave(a)sel4.systems
Hi all
A friendly reminder that the seL4 developer hangout is on this week:
Wed, Apr 6, 7am (UTC), Topics: (open)
* Sydney: Wed, Apr 6, 5pm
* Central Europe: Wed, Apr 6, 9am
* US Pacific Time: Wed, Apr 6, 12 midnight
(There are too many time zones in the world to cite them all :-))
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hey Stewart,
sure, everybody is welcome!
Cheers,
Gerwin
> On 22 Mar 2022, at 4:16 pm, sjwebb(a)student.unimelb.edu.au wrote:
>
> Hi Birgit,
>
> I am a University of Melbourne student working on an seL4 project for my Computer Science Masters under Toby Murray.
>
> Mind if I join the hangout? It would perhaps help a lot for me to speak to some other people who have worked with seL4.
>
> My masters research project is one nicked from Gernot a few years back, looking into mapping an object-capability programming language onto seL4's capability system.
>
> Cheers,
> Stewart
> _______________________________________________
> Devel mailing list -- devel(a)sel4.systems
> To unsubscribe send an email to devel-leave(a)sel4.systems
Hi Birgit,
I am a University of Melbourne student working on an seL4 project for my Computer Science Masters under Toby Murray.
Mind if I join the hangout? It would perhaps help a lot for me to speak to some other people who have worked with seL4.
My masters research project is one nicked from Gernot a few years back, looking into mapping an object-capability programming language onto seL4's capability system.
Cheers,
Stewart
Hi all
A friendly reminder that the seL4 developer hangout is on this week:
Tue, Mar 22, 9pm (UTC), Topics: (open)
* Sydney: Wed, Mar 23, 8am
* Central Europe: Tue, Mar 22, 10pm
* US Pacific Time: Tue, Mar 22, 2pm
(There are too many time zones in the world to cite them all :-))
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on this week:
Tue, Mar 22, 9pm (UTC), Topics: (open)
* Sydney: Wed, Mar 23, 8am
* Central Europe: Tue, Mar 22, 10pm
* US Pacific Time: Tue, Mar 22, 1pm
(There are too many time zones in the world to cite them all :))
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au
seL4 Foundation, birgit(a)sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm