sel4-sys: fix x86_64 target

Browse Source

There is small caveat, as the scratch register had to be
changed (rbx -> r14) as llvm is using it _for something_.
In practice, it should not change anything, though.

sel4test test suites with MCS disabled are passing.
There is bug in mainline with doesn't allow to compile
seL4 kernel with -DLibSel4FunctionAttributes=public so
MCS enabled kernel cannot be tested.

Change-Id: I66271277ceb6d6242ddec1225590f8911f09e946
GitOrigin-RevId: ca33ffff9ed9e52ed101270feb836d33f7a69d00

...

This commit is contained in:

Marcin Witkowski 2021-12-21 12:33:07 +01:00 committed by Sam Leffler

parent 679f4e7acb

commit af833e8d19

1 changed files with 827 additions and 457 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1230

apps/system/components/kata-os-common/src/sel4-sys/arch/x86_64.rs

View File

File diff suppressed because it is too large Load Diff