RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

trivial: Enable timer memory at user level

Browse Source
This commit is contained in:
Curtis Millar
2019-12-16 15:49:32 +11:00
committed by Ivan-Velickovic
parent da4d5933a7
commit 20b7536986
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tools/hardware.yml
View File

@@ -207,6 +207,7 @@ devices:
regions: regions:
- index: 0 - index: 0
kernel: WDOG_PPTR kernel: WDOG_PPTR
user: true
# SiFive U54/U74 PLIC (HiFive, Polarfire) # SiFive U54/U74 PLIC (HiFive, Polarfire)
- compatible: - compatible: