Add support for odroidc4

Signed-off-by: Ahmed Charles <acharles@outlook.com>
2022-07-19 22:32:42 -07:00
parent 61a6e83f01
commit 25d6e51770
1 changed files with 1 additions and 0 deletions
--- a/src/plat/odroidc4/overlay-odroidc4.dts
+++ b/src/plat/odroidc4/overlay-odroidc4.dts
@@ -14,6 +14,7 @@
 		seL4,kernel-devices =
 		    "serial0",
 		    &{/soc/interrupt-controller@ffc01000},
+		    &{/soc/bus@ffd00000/watchdog@f0d0},
 		    &{/timer};
 	};
 };