Update mach timer.h to use axi instead of amba #169
Conversation
chrisguikema
force-pushed
the
plinux_2021.1
branch
from
4346823
to
4f00909
Compare
Can you extend this comment comment with some version details, so it gets more transparent where this happened. Guessing from your branch name it seems peta linux 2021.1 needs this? |
The kernel can support using a newer petalinux version, which updates the main bus to "axi" instead of "amba". The kernel presents a config variable, which we check against to define the proper TTC paths. Signed-off-by: Chris Guikema <[email protected]>
chrisguikema
force-pushed
the
plinux_2021.1
branch
from
4f00909
to
3c4a43f
Compare
Done. I updated the kernel PR to add the option to select a specific petalinux version |
This seem to allows some transition then. But I wonder it such a config option is really needed practically. We could just move on and support a newer version (where the commit comment says, what version this is). If the expect everybody to move to this version anyway, there is not much gain keeping support for older version. Or you have to keep your own fork then for legacy support. |
I agree with you. But a theme of the PRs I've made is not breaking existing features/support. While updating to 2021.1 now would probably be okay, once zcu102 configurations are released to camkes-vm-apps, then future updates to the kernel would be breaking. This feels like a good compromise, where we can just release a new version without introducing any breaking changes. |
|
Not needed based on kernel PR feedback. |
Test with: seL4/seL4#1102