Add actual config to libsel4sync Kconfig

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

https://docs.sel4.systems

Other

52 stars 62 forks source link

Closed ficoos closed 6 years ago

ficoos commented 6 years ago

Without this no other entry can depend on HAVE_LIB_SEL4_SYNC.

pingerino commented 6 years ago

I've merged this internally, it should be pushed out after going through CI in the next day.

pingerino commented 6 years ago

This has been pushed out. Thanks!