draperlaboratory / hope-policies

Collection of security policies
3 stars 2 forks source link

Composite policies should not generate with only global policies #103

Open amstrnad opened 4 years ago

amstrnad commented 4 years ago

For example make frtos-qemu TESTS=hello_works_1 POLICIES=none GPOLICIES=contextswitch tries to compile the contextswitch policy by itself, but this is not valid.