Move to mainline Microkit

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

Other

17 stars 14 forks source link

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 1 month ago

Moves sDDF to use 1.4.0 of Microkit which is planned to be released later today. CI is expected to fail until the release happens.

Merge checklist:

Ivan-Velickovic commented 1 month ago

Not dealing with the style check in this PR.

alexandermbrown commented 1 month ago

I don't think this is related to this PR but gen_config.h in the microkit sdk still uses CONFIG_PLAT_QEMU_ARM_VIRT. Is this ok?

Ivan-Velickovic commented 1 month ago

I don't think this is related to this PR but gen_config.h in the microkit sdk still uses CONFIG_PLAT_QEMU_ARM_VIRT. Is this ok?

That's fine.