diff options
| author | Jack Lloyd <[email protected]> | 2016-10-10 01:50:46 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-10-10 01:50:46 -0400 |
| commit | 227d59d886418ace13aa91c1b0dc5fea91efbb4a (patch) | |
| tree | bdf9579874d66acac518ac53ce1ddcde6fb4d719 /src/build-data/os | |
| parent | 35657e0f76931f0d3a333610e7065c81c35e9f1e (diff) | |
Add IncludeOS target. Make filesystem support optional.
Diffstat (limited to 'src/build-data/os')
| -rw-r--r-- | src/build-data/os/includeos.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/build-data/os/includeos.txt b/src/build-data/os/includeos.txt new file mode 100644 index 000000000..a724d188b --- /dev/null +++ b/src/build-data/os/includeos.txt @@ -0,0 +1,4 @@ +os_type unikernel + +building_shared_supported no +with_filesystem no |