search

seL4 / util_libs

Other
53 stars 83 forks source link

libplatsupport: separate drivers from platforms #157

Open axel-h opened 1 year ago

axel-h commented 1 year ago

Many platform use the same peripherals, so code duplication can be avoided if we provide generic drivers.

kent-mcleod commented 1 year ago

Many platform use the same peripherals, so code duplication can be avoided if we provide generic drivers.

The original thought was to use a similar strategy as the kernel does for querying a platform device tree and a configuration file for what compatibility strings to match on and then pulling in source files based on these match strings.

axel-h commented 1 year ago

So, I'd say this PR is a step into that direction then?