diff options
Diffstat (limited to 'src/build-data/os/includeos.txt')
| -rw-r--r-- | src/build-data/os/includeos.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/build-data/os/includeos.txt b/src/build-data/os/includeos.txt index a724d188b..423575b4a 100644 --- a/src/build-data/os/includeos.txt +++ b/src/build-data/os/includeos.txt @@ -1,4 +1,7 @@ os_type unikernel building_shared_supported no -with_filesystem no + +<target_features> +includeos_rng +</target_features> |