Code

elfloader: Add generic-timer driver#168

Code

Merged

Indanz merged 6 commits intoseL4:masterseL4/seL4_tools:masterfrom kent-mcleod:kent/elfloaderkent-mcleod/seL4_tools:kent/elfloaderCopy head branch name to clipboardFeb 19, 2024

+100-372

Commits

Commits on Feb 18, 2024

• elfloader: Add driver callback for non-boot core

  Show description for 204fdda
  kent-mcleod

  committed
  204fdda

  Copy full SHA for 204fdda

• elfloader: Add generic-timer driver

  Show description for b69faf3
  kent-mcleod

  committed
  b69faf3

  Copy full SHA for b69faf3

• elfloader: Replace calls to reset_cntvoff

  Show description for 08b31b2
  kent-mcleod

  committed
  08b31b2

  Copy full SHA for 08b31b2

• elfloader: Only include driver source on arm

  Show description for ecc9b62
  kent-mcleod

  committed
  ecc9b62

  Copy full SHA for ecc9b62

• elfloader: Remove non_boot_init() interface

  Show description for 66b3de4
  kent-mcleod

  committed
  66b3de4

  Copy full SHA for 66b3de4

• elfloader: Check return code of device init

  Show description for 6dae789
  kent-mcleod

  committed
  6dae789

  Copy full SHA for 6dae789