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

add abstracts for seL4 summit 2024 #372

Merged
merged 28 commits into from
Aug 18, 2024
Merged

add abstracts for seL4 summit 2024 #372

merged 28 commits into from
Aug 18, 2024

Conversation

bbrcknl
Copy link
Collaborator

@bbrcknl bbrcknl commented Jul 1, 2024

No description provided.

@github-actions GitHub Actions
Copy link

github-actions bot commented Jul 5, 2024

Preview your changes here

3 similar comments
@github-actions GitHub Actions
Copy link

github-actions bot commented Jul 7, 2024

Preview your changes here

@github-actions GitHub Actions
Copy link

github-actions bot commented Aug 1, 2024

Preview your changes here

@github-actions GitHub Actions
Copy link

github-actions bot commented Aug 4, 2024

Preview your changes here

@bbrcknl
add skeleton outline for summit abstracts
3f43543 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
fix trailing whitespace
2a293f0 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
add drafts of approved abstracts
ad5cd41 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
fix typos
8ab38ca 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
fix typo in filename
b1b859c 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
confirm hardware support abstract
b90d178 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
add new abstracts
3743eca 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
add abstract
b5ddbf3 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
add more abstracts to program
a4d38d2 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
add more summit abstracts
d025c52 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
add more abstracts + fix typos
09eef77 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

@bbrcknl bbrcknl changed the title add skeleton outline for summit abstracts add abstracts for seL4 summit 2024 Aug 12, 2024
@bbrcknl
add final talk abstracts
bed0180 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
remove panel info for now
12d77a8 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
add news article re abstracts
0fc3f96 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

seL4-ci and others added 7 commits August 16, 2024 10:07
@seL4-ci @bbrcknl
CI: update performance results
ed20bc2 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
43374e2 
Signed-off-by: seL4 CI <ci@sel4.systems>
@seL4-ci @bbrcknl
CI: update performance results
e92214e 
Signed-off-by: seL4 CI <ci@sel4.systems>
@bbrcknl
add article about tii summit sponsorship (#384)
8add379 
* add article about tii summit sponsorship

---------

Signed-off-by: Birgit Brecknell <b@brck.nl>
@seL4-ci @bbrcknl
CI: update performance results
ea655b3 
Signed-off-by: seL4 CI <ci@sel4.systems>
@bbrcknl
Add summit sponsor collins (#385)
6191f3b 
* add news article about TII summit sponsorship
* change spacing of sponsor grid

Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
remove news article about abstracts
42421ed 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl bbrcknl marked this pull request as ready for review August 16, 2024 00:09
@github-actions GitHub Actions
Copy link

Preview your changes here

@bbrcknl
add LF schedule link to program
bd8786b 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
change time for Foundation update
547b641 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@github-actions GitHub Actions
Copy link

Preview your changes here

june-andronick
june-andronick approved these changes Aug 16, 2024
View reviewed changes
Copy link
Contributor

@june-andronick june-andronick 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. 2 small comments on Proofcraft's presenters (maybe check for other talks that the presenter is the one confirmed) and please add the abstract I've sent you for the Foundation update. Thanks

_includes/abstracts/2024/multikernel-roadmap.html Outdated Show resolved Hide resolved
_includes/abstracts/2024/sel4-verification.html Outdated Show resolved Hide resolved
@bbrcknl
Copy link
Collaborator Author

bbrcknl commented Aug 18, 2024

Looks good. 2 small comments on Proofcraft's presenters (maybe check for other talks that the presenter is the one confirmed) and please add the abstract I've sent you for the Foundation update. Thanks

It looks like some groups are still deciding on presenter(s). I'm coordinating with LF and will update the names as they come in. For now, I'll put the abstracts up as they are, so people can peruse them.

bbrcknl and others added 4 commits August 19, 2024 08:53
@bbrcknl
change rego link for summit (#386)
c8d2267 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl @june-andronick
change venue link for summit (#387)
ac54a39 
Signed-off-by: Birgit Brecknell <b@brck.nl>
Co-authored-by: June Andronick <june@sel4.systems>
@bbrcknl
add foundation update abstract
fcc5306 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@bbrcknl
update presenters
6416f4b 
Signed-off-by: Birgit Brecknell <b@brck.nl>
@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 589 internal links
Checking internal link hashes in 16 files
Ran on 59 files!


For the Links > External check, the following failures were found:

* At _site/news/2021.html:264:

  External link https://driveghost.com/ failed (status code 403)

* At _site/news/2021.html:268:

  External link https://driveghost.com/ failed (status code 403)


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

@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 589 internal links
Checking internal link hashes in 16 files
Ran on 59 files!


For the Links > External check, the following failures were found:

* At _site/news/2021.html:264:

  External link https://driveghost.com/ failed (status code 403)

* At _site/news/2021.html:268:

  External link https://driveghost.com/ failed (status code 403)


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

@bbrcknl bbrcknl merged commit c9574de into master Aug 18, 2024
8 of 9 checks passed
@bbrcknl bbrcknl deleted the add_summit_abstracts branch August 18, 2024 22:59
wom-bat pushed a commit that referenced this pull request Sep 11, 2024
@bbrcknl @wom-bat
add abstracts for seL4 summit 2024 (#372)
f83009a 
* add summit 2024 abstracts

---------

Signed-off-by: Birgit Brecknell <b@brck.nl>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@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.
3 participants
@bbrcknl @june-andronick @seL4-ci