search

seL4 / util_libs

Other
55 stars 83 forks source link

libethdrivers: add entry for zynqmp driver module #164

Closed abrandnewusername closed 1 year ago

abrandnewusername commented 1 year ago

So that the zynqmp Ethernet driver can be found by find_compatible_driver_module.

axel-h commented 1 year ago

Seems this is a duplicate of https://github.com/seL4/util_libs/pull/161

abrandnewusername commented 1 year ago

Seems this is a duplicate of #161

Oops my bad

axel-h commented 1 year ago

no worries