diff options
Diffstat (limited to 'src/build-data/os/includeos.txt')
| -rw-r--r-- | src/build-data/os/includeos.txt | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/build-data/os/includeos.txt b/src/build-data/os/includeos.txt index cabcec6b9..7d2ebfdc9 100644 --- a/src/build-data/os/includeos.txt +++ b/src/build-data/os/includeos.txt @@ -1,5 +1,4 @@ -os_type unikernel - - <target_features> +posix1 +dev_random </target_features> |