search

seL4 / util_libs

Other
55 stars 83 forks source link

trivial: Fix typo in linker arg for tx2 ethernet #144

Closed kent-mcleod closed 1 year ago

kent-mcleod commented 1 year ago

The symbol name is supposed to be tx2_ether_qos_ptr.

Signed-off-by: Kent McLeod kent@kry10.com