[BLOCKED] add redv alias #336
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2 tasks
almindor
commented
Sep 20, 2021
| @@ -9,7 +9,7 @@ MEMORY { | |||
| * Note that the SRAM address may need to be changed depending on | |||
| * the kernel binary, check for the actual address of APP_MEMORY! | |||
| */ | |||
| FLASH (rx) : ORIGIN = 0x20040040, LENGTH = 32M | |||
| FLASH (rx) : ORIGIN = 0x20040040, LENGTH = 4M | |||
There was a problem hiding this comment.
AFAIK hifive1-revb and redv both have 4MB of flash only, revA had 16MB I'm not sure where 32 is from?
|
Are you aware that the Tock 2.0 layout files are in |
|
Has the redv board work been abandoned? |
|
Feel free to reopen this PR or open a new PR if you resume this work. |
bors bot
added a commit
to tock/tock
that referenced
this pull request
Mar 14, 2022
2831: add redv board support r=bradjc a=almindor ### Pull Request Overview Adds support for the SparkFun Redboard Red-V board which is a clone of the Hifive1-RevB (with minor LED changes). ### Testing Strategy I tested the flashing on a RedV board, but I'm currently unable to test `libtock-rs` since it's not yet on v2 support. ### TODO or Help Wanted Check functionality of LEDs with [this libtock-rs PR](tock/libtock-rs#336) once ready for v2. ### Documentation Updated - [x] Updated `/boards/README.md` ### Formatting - [x] Ran `make prepush`. Co-authored-by: Ales Katona <[email protected]>
bors bot
added a commit
to tock/tock
that referenced
this pull request
Mar 16, 2022
2831: add redv board support r=bradjc a=almindor ### Pull Request Overview Adds support for the SparkFun Redboard Red-V board which is a clone of the Hifive1-RevB (with minor LED changes). ### Testing Strategy I tested the flashing on a RedV board, but I'm currently unable to test `libtock-rs` since it's not yet on v2 support. ### TODO or Help Wanted Check functionality of LEDs with [this libtock-rs PR](tock/libtock-rs#336) once ready for v2. ### Documentation Updated - [x] Updated `/boards/README.md` ### Formatting - [x] Ran `make prepush`. Co-authored-by: Ales Katona <[email protected]> Co-authored-by: Brad Campbell <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adds SparkFun RedBoard Red-V support, currently blocked on #322
Kernel support in this PR