Prepare Unikraft skeleton (#761)

Signed-off-by: Juan Cruz Viotti <[email protected]>

.gitignore

@@ -235,3 +235,5 @@ dist
 .DS_Store
 CMakeUserPresets.json
 Brewfile.lock.json
+/unikraft/.unikraft
+/unikraft/.config.*

Makefile

@@ -1,6 +1,7 @@
 # Programs
 CMAKE = cmake
 CTEST = ctest
+KRAFT = kraft
 PYTHON = python3
 
 # Options
@@ -44,6 +45,10 @@ test: .always
 doxygen: .always
 	$(CMAKE) --build ./build --config $(PRESET) --target doxygen
 
+unikraft: .always
+	$(KRAFT) build --target development --jobs 4 --log-type=basic unikraft
+	$(KRAFT) run --target development unikraft
+
 website: .always
 	$(CMAKE) --build ./build --config $(PRESET) --target website
 	$(PYTHON) -m http.server 3000 --directory build/www

unikraft/Kraftfile

@@ -0,0 +1,31 @@
+specification: v0.6
+name: sourcemeta_jsonbinpack_test
+unikraft:
+  version: stable
+
+targets:
+  - name: development
+    platform: qemu
+    architecture: x86_64
+    kconfig:
+      - CONFIG_LIBJSONBINPACK=y
+      - CONFIG_LIBGOOGLETEST=y
+      - CONFIG_LIBGOOGLETEST_BUILD_MAIN=y
+
+libraries:
+  libcxxabi:
+    version: stable
+  libcxx:
+    version: stable
+  libunwind:
+    version: stable
+  compiler-rt:
+    version: stable
+  musl:
+    version: stable
+  googletest:
+    version: stable
+  jsonbinpack:
+    source: ..
+  jsontoolkit:
+    source: ../vendor/jsontoolkit

unikraft/Makefile.uk

@@ -0,0 +1,57 @@
+$(eval $(call addlib,sourcemeta_jsonbinpack_test))
+
+SOURCEMETA_JSONBINPACK_TEST_CXXFLAGS-y += --std=c++20
+TEST_BASE := $(SOURCEMETA_JSONBINPACK_TEST_BASE)/../test
+
+# Runtime
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_any_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_array_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_enum_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_integer_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_number_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_object_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_string_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_traits_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_varint_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/decode_zigzag_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_any_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_array_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_context_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_enum_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_integer_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_number_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_object_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_real_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_string_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_traits_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_varint_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/encode_zigzag_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/numeric_closest_smallest_exponent_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/numeric_divide_ceil_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/numeric_divide_floor_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/numeric_uint_max_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/plan_traits_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/plan_wrap_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/v1_any_parser_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/v1_array_parser_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/v1_enum_parser_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/v1_integer_parser_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/v1_number_parser_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/runtime/v1_string_parser_test.cc
+
+# Compiler
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_canonicalizer_any_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_canonicalizer_array_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_canonicalizer_boolean_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_canonicalizer_null_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_canonicalizer_number_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_canonicalizer_object_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_canonicalizer_string_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_compiler_any_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_compiler_enum_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_compiler_integer_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/2020_12_compiler_number_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/canonicalizer_test.cc
+SOURCEMETA_JSONBINPACK_TEST_SRCS-y += $(TEST_BASE)/compiler/plan_test.cc