Add core WG notes from 2021-07-02 #2664
Conversation
c129dff to
9386f02
Compare
| * Johnathan: Unfortunately this only applies to RISC-V, at least with the | ||
| current plans. On behalf of OpenTitan, LowRISC is working on an embedded | ||
| position-independent-code spec for RISC-V that they're contributing to LLVM | ||
| for both `clang` and `rustc`. | ||
| * Amit: That's awesome. Do we know if it's going to support the kind of | ||
| PIC we rely on right now in ARM for C? | ||
| * Johnathan: The current plans are such that it will initially look a lot like | ||
| that, but then it will change to be somewhat more efficient and eliminate the | ||
| global offset table. It was specifically designed for Tock's usage. | ||
| * Amit: That would be huge, that's great. |
There was a problem hiding this comment.
This is incredibly exciting. All the more so if it's being designed for OpenTitan explicitly. My memory from when we were first exploring this way back when is that ARM PIC does a bunch of little inefficient things that are unnecessary from a Tock perspective. The GOT being the biggest example.
|
bors r+ |
|
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried. Additional information: {"message":"Required status check \"netlify/docs-tockosorg/deploy-preview\" is failing.","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
|
Netlify seems to have its share of issues in the past few days, trying again given https://www.netlifystatus.com/ says it's a go. bors r+ |
|
This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried. Additional information: {"message":"Required status check \"netlify/docs-tockosorg/deploy-preview\" is failing.","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
|
I just confirmed these builds run fine for me locally including @hudson-ayers @bradjc @ppannuto I can't merge manually. Can you merge this? |
Rendered
These meeting notes are from 9 days ago, not last Friday (sorry for the delay).