]> xenbits.xensource.com Git - unikraft/unikraft.git/commit
projects / unikraft / unikraft.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d14d0f1) | patch
drivers/ukbus/platform: Add pl031 to platform devices
authorRares Miculescu <miculescur@gmail.com>
Fri, 19 Apr 2024 18:29:18 +0000 (21:29 +0300)
committerRazvan Deaconescu <razvan.deaconescu@upb.ro>
Wed, 15 May 2024 12:21:51 +0000 (15:21 +0300)
commit739eaef4d4fa7691fe01436256f85887db6edeca
treeb06fa81cb7c3341da0290e2917fd381034e8e832tree
parentd14d0f105c3b698b09c6cf91cc499a6578a4f954commit | diff
drivers/ukbus/platform: Add pl031 to platform devices

Add platform id for pl031. Add pl031 as compatible device for the
device-tree. The changes are made so the driver can be probed through
the platform bus.

Signed-off-by: Rares Miculescu <miculescur@gmail.com>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Razvan Virtan <virtanrazvan@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #972
drivers/ukbus/platform/include/uk/bus/platform.h diff | blob | blame | history
drivers/ukbus/platform/platform_bus.c diff | blob | blame | history
Unikraft