Configuration for all applications.
Configuration for all applications.

winksaville/sel4-min-sel4,winksaville/sel4-min-sel4,winksaville/sel4-min-sel4,winksaville/sel4-min-sel4,winksaville/sel4-min-sel4