Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

summit training day announcement #376

Merged
merged 44 commits into from
Aug 23, 2024
Merged

summit training day announcement #376

merged 44 commits into from
Aug 23, 2024

Conversation

bbrcknl
Copy link
Collaborator

@bbrcknl bbrcknl commented Jul 5, 2024 •
edited
Loading

Preliminary draft. Needs input from @Ivan-Velickovic and Nick Spinale. Logos also needed. Accompanying news article needed.

@bbrcknl
add prelim draft of training day
a47660a 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

github-actions bot commented Jul 5, 2024

Preview your changes here

@bbrcknl
add rust logo
b408e7f 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

github-actions bot commented Jul 5, 2024

Preview your changes here

Ivan-Velickovic
Ivan-Velickovic approved these changes Jul 8, 2024
View reviewed changes
Copy link
Contributor

@Ivan-Velickovic Ivan-Velickovic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. We are planning to have a LionsOS logo but not sure when we'll have it ready so I'll make a PR adding it to this page later on.

@Ivan-Velickovic
Copy link
Contributor

Oh, we should sort out the time as well.

Something like 10AM - 12:30PM would be good for LionsOS. Then Rust in the afternoon at 1:30PM or so?

@bbrcknl
Copy link
Collaborator Author

bbrcknl commented Aug 16, 2024

Looks good to me. We are planning to have a LionsOS logo but not sure when we'll have it ready so I'll make a PR adding it to this page later on.

That would be great!

@june-andronick
Copy link
Contributor

Please add a link back to the descriptions from the items in the program's page. Thanks :)

seL4-ci and others added 22 commits August 19, 2024 18:11
@seL4-ci @bbrcknl
CI: update performance results
608112f 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
93798f0 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
68681dc 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
bace2c1 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
011d2fe 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
905a57f 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
a87a24c 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
52cbd5f 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
45638ee 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
a0fa9b5 
Signed-off-by: seL4 CI <ci@sel4.systems>
@wom-bat @bbrcknl
Update logo and URL for Horizon Robotics
47f6bc5 
Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au>
@seL4-ci @bbrcknl
CI: update performance results
5107fd1 
Signed-off-by: seL4 CI <ci@sel4.systems>
@bbrcknl
sel4 day announcement (#375)
b95272b 
* sel4 day announcement

---------

Signed-off-by: Birgit Brecknell <b@brck.nl>
@lsf37 @bbrcknl
config: remove default help text
d1030b8 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 @bbrcknl
news: render news items as collection
6f8bd88 
- each news item is its own file in _news-items/
- the file can be md or html
- the name has to start with the date of the item

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@lsf37 @bbrcknl
news: fix html conversion accident
a170b80 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
@bbrcknl
add summit reception and dinner info (#379)
0334a65 
* add reception and dinner info

---------

Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
remove member from foundation page (#383)
cd53aa0 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@seL4-ci @bbrcknl
CI: update performance results
c7fb1b1 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
ab0e15f 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
c4dc30b 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
886f7f1 
Signed-off-by: seL4 CI <ci@sel4.systems>
bbrcknl and others added 2 commits August 19, 2024 18:22
@bbrcknl
add times and cross-linking for trainings
4f8ae18 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
Merge branch 'master' into summit_training_day
ae9928b 
Signed-off-by: bbrcknl <32238793+bbrcknl@users.noreply.github.com>
@github-actions GitHub Actions
Copy link

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...


Checking 361 external links
Checking 594 internal links
Checking internal link hashes in 16 files
Ran on 59 files!


For the Links check, the following failures were found:

* At _site/Foundation/Summit/2024/index.html:285:

  'a' tag is missing a reference


HTML-Proofer found 1 failure!
make: *** [Makefile:55: checklinks] Error 1

The HTML5 validator found some issues!

Error: Duplicate ID "summit-program".
From line 221, column 3; to line 221, column 26 in resource file:_site/Foundation/Summit/2024/index.html
Document checking completed.

@nspin
Copy link
Member

nspin commented Aug 19, 2024 •
edited
Loading

I suggest that we change the name of the Rust training session to "Using Rust in seL4 Userspace".

Also, how about this for the text in that section:

Rust has been an officially supported language for use in seL4 userspace since last year's summit. In this workshop, participants will be led through a tutorial that demonstrates how to leverage Rust and its ecosystem to rapidly build memory-safe components for seL4-based systems. This tutorial will cover a range of scenarios, including <a href="https://docs.sel4.systems/projects/microkit/">Microkit</a> protection domains as well as building on seL4 directly.

@bbrcknl
update details on trainings
4cff51b 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

The HTML5 validator found some issues!

Error: End tag for  "body" seen, but there were unclosed elements.
From line 625, column 1; to line 625, column 7 in resource file:_site/Foundation/Summit/2024/index.html
Error: Unclosed element "div".
From line 36, column 3; to line 36, column 27 in resource file:_site/Foundation/Summit/2024/index.html
Document checking completed.

@bbrcknl
add missing div
04810e9 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

@bbrcknl bbrcknl marked this pull request as ready for review August 21, 2024 05:35
bbrcknl and others added 3 commits August 21, 2024 16:17
@bbrcknl @Ivan-Velickovic
Update Foundation/Summit/2024/index.html
251fdf3 
Co-authored-by: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com>
Signed-off-by: bbrcknl <32238793+bbrcknl@users.noreply.github.com>
@bbrcknl @Ivan-Velickovic
Update Foundation/Summit/2024/index.html
af9154e 
Co-authored-by: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com>
Signed-off-by: bbrcknl <32238793+bbrcknl@users.noreply.github.com>
@bbrcknl @Ivan-Velickovic
Update Foundation/Summit/2024/program.html
926cd61 
Co-authored-by: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com>
Signed-off-by: bbrcknl <32238793+bbrcknl@users.noreply.github.com>
@github-actions GitHub Actions
Copy link

Preview your changes here

1 similar comment
@github-actions GitHub Actions
Copy link

Preview your changes here

@bbrcknl
add space to @ UNSW
6a96e71 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

@bbrcknl
add docker requirement for rust
53f28af 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

@bbrcknl
update rust training times
8b41da9 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

@github-actions GitHub Actions
Copy link

Preview your changes here

@bbrcknl bbrcknl merged commit 35fd005 into master Aug 23, 2024
8 of 9 checks passed
@bbrcknl bbrcknl deleted the summit_training_day branch August 23, 2024 07:48
wom-bat pushed a commit that referenced this pull request Sep 11, 2024
@bbrcknl @june-andronick
@Ivan-Velickovic @wom-bat
summit training day announcement (#376)
73854ab 
* training day registration and session information
---------

Signed-off-by: Birgit Brecknell <b@brck.nl>

Co-authored-by: June Andronick <june@sel4.systems>
Co-authored-by: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Ivan-Velickovic Ivan-Velickovic Ivan-Velickovic approved these changes

@june-andronick june-andronick june-andronick approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@bbrcknl @Ivan-Velickovic @june-andronick @nspin @seL4-ci @wom-bat @lsf37