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

hardware: info for not supported platforms #230

Merged
merged 8 commits into from
Mar 15, 2024
Merged

hardware: info for not supported platforms #230

merged 8 commits into from
Mar 15, 2024

Conversation

june-andronick
Copy link
Contributor

  • supported platform:

    • added a "Not in the lists below?" section

  • kernel-contribution.html:

    • added an intro paragraph linking back to the supported platforms page and other options than developing yourself
    • Added link to new platform owner page
    • BSD -> BSD/platform (the porting page uses 'platform')
    • fixed small typo (Contrbution)

  • new platform owner page

@june-andronick
hardware: info for not supported platforms
4a1287a 
* supported platform:
  * added a "Not in the lists below?" section

* kernel-contribution.html:
  * added an intro paragraph linking back to the supported platforms
    page and other options than developing yourself
  * Added link to new platform owner page
  * BSD -> BSD/platform (the porting page uses 'platform')
  * fixed small typo (Contrbution)

* new platform owner page

Signed-off-by: June Andronick <[email protected]>
@june-andronick june-andronick requested a review from lsf37 March 15, 2024 11:29
@june-andronick
platf-owner: fixed link
fd27a08 
Signed-off-by: June Andronick <[email protected]>
@june-andronick june-andronick mentioned this pull request Mar 15, 2024
Open
lsf37
lsf37 reviewed Mar 15, 2024
View reviewed changes
Hardware/index.md Outdated Show resolved Hide resolved
lsf37
lsf37 reviewed Mar 15, 2024
View reviewed changes
Hardware/index.md Outdated Show resolved Hide resolved
lsf37
lsf37 reviewed Mar 15, 2024
View reviewed changes
projects/sel4/platf-owner.md Outdated Show resolved Hide resolved
@june-andronick
hardware: gerwin's feedback
4d39fcc 
Signed-off-by: June Andronick <[email protected]>
lsf37
lsf37 reviewed Mar 15, 2024
View reviewed changes
Hardware/index.md Outdated Show resolved Hide resolved
lsf37
lsf37 reviewed Mar 15, 2024
View reviewed changes
Hardware/index.md Outdated Show resolved Hide resolved
lsf37
lsf37 reviewed Mar 15, 2024
View reviewed changes
Hardware/index.md Outdated Show resolved Hide resolved
lsf37
lsf37 approved these changes Mar 15, 2024
View reviewed changes
Copy link
Member

@lsf37 lsf37 left a comment

Choose a reason for hiding this comment

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

Good from my side, modulo the small tweaks above.

june-andronick and others added 5 commits March 15, 2024 14:46
@june-andronick @lsf37
hardware: tweak text
0b90ea5 
Co-authored-by: Gerwin Klein <[email protected]>
Signed-off-by: June Andronick <[email protected]>
@june-andronick @lsf37
hardware: tweak text
e430d1c 
Co-authored-by: Gerwin Klein <[email protected]>
Signed-off-by: June Andronick <[email protected]>
@june-andronick
hardware: tweaks and reorder
9132cf1 
Signed-off-by: June Andronick <[email protected]>
@june-andronick
hardware: fix issue from re-ordering
7674111 
Signed-off-by: June Andronick <[email protected]>
@june-andronick
hardware: tweak (one less 'below')
9664cca 
Signed-off-by: June Andronick <[email protected]>
@june-andronick june-andronick merged commit 983ea6e into master Mar 15, 2024
8 checks passed
@june-andronick june-andronick deleted the hw-platf-port branch March 15, 2024 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lsf37 lsf37 lsf37 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.
2 participants
@june-andronick @lsf37