Check for correct export in QEMU example - Githubissues

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

Other

16 stars 12 forks source link

Check for correct export in QEMU example #100

Closed alwin-joshy closed 4 months ago

alwin-joshy commented 4 months ago

https://github.com/au-ts/sddf/blob/693f1b226aabd486b0b82e0a014d892f9f287f35/drivers/clock/arm/timer.c#L6-L8

Based on https://developer.arm.com/documentation/ddi0595/2021-06/AArch64-Registers/CNTHCTL-EL2--Counter-timer-Hypervisor-Control-register?lang=en#fieldset_0-10_10, both EXPORT_PTMR_USER and EXPORT_PCNT_USER should be enabled.

Ivan-Velickovic commented 4 months ago

Fixed in https://github.com/au-ts/sddf/pull/93.