From 04d440e13433efacb440e437a035eae859fb633c Mon Sep 17 00:00:00 2001
From: Birgit Brecknell
Date: Mon, 26 Aug 2024 09:16:14 +1000
Subject: [PATCH 1/8] add draft news item
Signed-off-by: Birgit Brecknell
---
Foundation/Summit/2024/index.html | 15 +++++++++++++
_news-items/2024-08-XX-kry10.html | 37 +++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
create mode 100644 _news-items/2024-08-XX-kry10.html
diff --git a/Foundation/Summit/2024/index.html b/Foundation/Summit/2024/index.html
index 225af204..245ab152 100644
--- a/Foundation/Summit/2024/index.html
+++ b/Foundation/Summit/2024/index.html
@@ -421,6 +421,21 @@
+ The seL4 Foundation thanks Kry10 for + becoming a Gold sponsor of the seL4 + Summit 2024. +
++ Kry10 offers a full-featured operating system on top of the seL4 kernel, along + with tooling, services, key management and more. The Kry10 Platform is a fast + and easy way to build highly secure, next-generation cyber-physical devices. It + leverages the verification of seL4 to provide a secure, self-healing, truly + dynamic system with minimal downtime, even during upgrades. + +
++ Kry10 is an Endorsed Service Provider of the seL4 + Foundation, offering support to enable seL4-based secure projects to be + affordable, maintainable, and remotely manageable. +
++ See here + if you are interested in sponsoring the seL4 summit 2024. +
+ \ No newline at end of file From 1aa005f9dc363288423331f157c39ad6b691a2de Mon Sep 17 00:00:00 2001 From: Birgit Brecknell Date: Mon, 26 Aug 2024 09:17:42 +1000 Subject: [PATCH 2/8] fix sponsor logo spacing Signed-off-by: Birgit Brecknell --- _news-items/2024-05-24-proofcraft.html | 2 +- _news-items/2024-05-31-unsw.html | 2 +- _news-items/2024-08-14-tii.html | 2 +- _news-items/2024-08-16-collins.html | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/_news-items/2024-05-24-proofcraft.html b/_news-items/2024-05-24-proofcraft.html index b3278b1d..6cd28f5e 100644 --- a/_news-items/2024-05-24-proofcraft.html +++ b/_news-items/2024-05-24-proofcraft.html @@ -29,7 +29,7 @@+ A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organisers to register your interest. +
+- Weekend of Oct 12 & 13, 2024: Potential bush walking led by Gernot Heiser (contact him if interested). -
-- Mon Oct 14, 2024: Informal Social Activities will be organised by local Sydney-siders. Stay tuned. + A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organisers to register your interest.
+ A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organiser to register your interest. +
++ This list is in chronological order. Note that some activities require advanced bookings, by 20 September 2024. +
++ Gernot plans to take a group on a walk, most likely in the stunning Blue Mountains, which are about a 1.5 hours drive from Sydney. The details of this activity will be organised mid-September 2024. Stay tuned! +
++ When: Weekend of 12 & 13 October 2024 (Date TBC) +
++ Contact: Gernot Heiser +
++ June will take a group on the iconic Bondi to Coogee walk, with optional dinner to follow at Coogee for people who are interested. +
++ When: Monday 14 Oct 2024, starting at 3:30pm +
++ Where: Bondi Beach +
++ Cost: Free, with the option of buying dinner at Coogee +
++ Bring: +
++ Contact: June Andronick. +
++ Birg will organise a guided tour of The Rocks, which gives an account of Sydney's colonial heritage. +
++ Bookings are required by 20 September 2024. Max group size 20. +
++ When: Monday 14 Oct 2024, meet at 3:15pm, tour 3:30-5pm +
++ Where: The Rocks Walking Tours +
++ Cost: $35 AUD per person +
++ Bring: +
++ Contact: Birgit Brecknell +
++ Peter plans to take a group sailing in the Sydney Harbour on a replica of the 1600s ship, the Duyfken. Includes light refreshments, beer, soft drinks etc. +
++ Please note that this is a rare and special experience, so bookings will need to be made by 20 September 2024. Please contact Peter Chubb for further details, including how to make your booking. There may be a discount for a group booking of more than 16 people. Max 24 people. +
++ Peter is waiting for confirmation on the availability of the Duyfken and will know by 7 Sep. If sailing cannot happen, Peter will lead a tour of the maritime museum and its vessels (including the submarine), at a cost of $25 AUD pp. +
++ When: Saturday 19 Oct 2024 (TBC), 2:30pm - 5:30pm +
++ Where: Australian National Maritime Museum +
++ Cost: $120 AUD per person +
++ Bring: +
++ Contact: Peter Chubb. +
+MKS_#Ylf)t!O7u=#khn3iCGnHl-m{Zu>t|bL- ${~^W$6UTQ_bmzkTPA
zYyUWUM|)>{xNP{FyT-f!{PfLxzW3@zri~o@Y}RKT|0(&;_ePUPKfJ%>{@_^t*r%Tt
zeg4&h*B<=qVa*r8UmX1MnJ>G>rQ_$_OWi|{);xOnRry!{^wd5MecU>cFmdWnsec;$
z`sJ@5ezWzPAO76%m&m_#ek=dB|GV7pKKp+2_y7EB-QObrcI59Vf4};VmH+tipOyde
z|5ww0N&c(vzhC ^iRmno}+YcR3!Llxs0y_nM_h=xKJx`aW9FF
zs!bt G`Qt16=dLj(uLKJWTFr
zirQ-qqn84l*p*)>dvmH`GArgs3)nicwYvfq&VqV)Ltj1@e791+Thvam%~?K!{yKi}
z`Fg-wP-G||4K^D=&mQ8o+@Eo%G fUB(h|CyzxRD{msq`>IimW
zU&vZH@sHc_NkQ5Cz2 jWHcDHcoF4tdd9*9`PbbUQ6*wyM`kY
zY0HyS%0ux+mn<6b2A(u+1m_V~g=NW1h^z&_Bx*3uWHvOwG{Tf`jz5J(!qxdmdwn00r!=Mvb_=UPuP
zX#`Txd(eEL#WR7YPw!j$4E2tgD8QZB9DEQ_;6`=yEDv
Sj_d~U+&6Qjsg_tlMimb2{$imS(|SJ*vuO+j3~X*PAqx#5HWh}
zVQ&YV6w&YpOVr)A9KWJ%EzTdE-wEzx59