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

[atch-axel-93] make CONFIGURE_KERNEL_WCET generic #113

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

[atch-axel-93] make CONFIGURE_KERNEL_WCET generic #113

wants to merge 10 commits into from

Commits on Jun 28, 2024

  1. arm: remove duplicate define for CONFIGURE_SMMU 

    Also remove redundancies

Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    3c042e0 View commit details
    Browse the repository at this point in the history

  2. provide a default for CONFIGURE_KERNEL_WCET 

    As this tends to be copy-pasted for every new platform, remove the
explicit need to set something and provide a default instead.

Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    5130792 View commit details
    Browse the repository at this point in the history

  3. WCET: try to simplify code

    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    5c15427 View commit details
    Browse the repository at this point in the history

  4. make getTimerPrecision() generic 

    Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    b009696 View commit details
    Browse the repository at this point in the history

  5. riscv: make timer precision default to 0 

    Align RISC-V with ARM behavior

Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    0040a33 View commit details
    Browse the repository at this point in the history

  6. cmake: use flags instead of strings 

    Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    b51ff66 View commit details
    Browse the repository at this point in the history

  7. cmake: make MAX_NUM_IRQ calculation arch specific 

    - KernelMaxNumNodes is always defined, it's at lest 1
- check CONFIGURE_NUM_PPI explicitly

Signed-off-by: Axel Heider <[email protected]>
    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    fa1eec0 View commit details
    Browse the repository at this point in the history

  8. drop IRQ_CNODE_SLOT_BITS

    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    08631c2 View commit details
    Browse the repository at this point in the history

  9. remove NUM_PPI

    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    27288a9 View commit details
    Browse the repository at this point in the history

  10. avoid redundancy

    @axel-h
    axel-h committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    a35c2e9 View commit details
    Browse the repository at this point in the history