Removing wasm

Author: tom-kuchler

.github/workflows/release_experimental.yml

@@ -13,7 +13,7 @@ jobs:
 
       matrix:
         cpu: ["x86_64", "aarch64"]
-        platform: ["debug", "mmu_linux", "kvm", "wasm"]
+        platform: ["debug", "mmu_linux", "kvm"]
         build: ["Debug", "Release"]
         include:
           - host: "ubuntu-24.04"

.github/workflows/release_latest.yml

@@ -12,7 +12,7 @@ jobs:
 
       matrix:
         cpu: ["x86_64", "aarch64"]
-        platform: ["debug", "mmu_linux", "kvm", "wasm"]
+        platform: ["debug", "mmu_linux", "kvm"]
         build: ["Debug", "Release"]
         include:
           - host: "ubuntu-24.04"

CMakeLists.txt

@@ -46,11 +46,6 @@ if(CMAKE_BUILD_TYPE MATCHES "Debug")
     add_compile_options(-gdwarf-4)
 endif()
 
-# wasm does not support newlib
-if(DANDELION_PLATFORM MATCHES "wasm")
-    set(NEWLIB OFF)
-endif()
-
 # set dependent options
 if(NEWLIB)
     set(DANDELION_FS ON)

Dockerfile

@@ -17,14 +17,14 @@ RUN apt-get install -y gcc g++ # clang uses gcc to interface with the linker
 # download initial clang
 RUN wget https://apt.llvm.org/llvm.sh -O ~/llvm.sh
 RUN chmod +x ~/llvm.sh
-RUN ~/llvm.sh
+RUN ~/llvm.sh 20
 RUN ln -s /usr/bin/ld.lld-19 /usr/bin/ld.lld
 RUN rm -r /usr/include/*
 
 # download and set up dandelionSDK
 RUN wget https://github.com/eth-easl/dandelionSDK/releases/download/${VERSION}/dandelion_sdk_${BUILD}_${PLATFORM}_${TARGET_ARCH}.tar.gz -O ~/dandelionSDK.tar.gz
 RUN tar -xzf ~/dandelionSDK.tar.gz -C ~/
-RUN ~/dandelion_sdk/create-compiler.sh -d -c clang-19
+RUN ~/dandelion_sdk/create-compiler.sh -d -c clang-20
 
 ENV CC="clang"
 ENV CXX="clang++"

README.md

@@ -22,7 +22,6 @@ The platforms are:
 - `MMU_FREEBSD`, for the mmu-based platforms running on freebsd
 - `MMU_LINUX`, for mmu-based platforms running on linux
 - `KVM`, for the kvm-based platform
-- `WASM`, for the webassembly platform
 - `DEBUG` (default), for running applications locally on a linux system with mock inputs,
 dumping outputs to the terminal when terminating.
 

include/dandelion/crt.h

@@ -11,9 +11,6 @@ void _start(void) __attribute__((naked));
 void _start(void) {
 #if defined(__x86_64__)
   __asm__("call __dandelion_entry\n");
-#elif defined(__wasm__)
-  __asm__("call __dandelion_entry\n");
-  __asm__("return\n");
 #elif defined(__aarch64__)
   __asm__("bl __dandelion_entry");
 #else

sdk_install/CMakeLists.txt

@@ -1,13 +1,8 @@
 # actions to make the SDK build possible for outside sources
 
-if(DANDELION_PLATFORM MATCHES "wasm")
-    set(DANDELION_TARGET "wasm32-unknown-dandelion")
-    set(TEMPLATE_TARGET "wasm32-unknown-unknown")
-else()
-    set(DANDELION_TARGET "${ARCHITECTURE}-unknown-dandelion")
-    set(TEMPLATE_TARGET "${ARCHITECTURE}-unknown-elf")
-    set(BUILTIN_LIB "\"\${CMAKE_CURRENT_SOURCE_DIR}/lib/generic/libclang_rt.builtins-${ARCHITECTURE}.a\"")
-endif()
+set(DANDELION_TARGET "${ARCHITECTURE}-unknown-dandelion")
+set(TEMPLATE_TARGET "${ARCHITECTURE}-unknown-elf")
+set(BUILTIN_LIB "\"\${CMAKE_CURRENT_SOURCE_DIR}/lib/generic/libclang_rt.builtins-${ARCHITECTURE}.a\"")
 
 # Configure CMakeLists containing runtime, dlibc and dlibcxx
 configure_file(CMakeTemplate.txt ${CMAKE_INSTALL_PREFIX}/CMakeLists.txt

system/CMakeLists.txt

@@ -31,8 +31,6 @@ elseif(DANDELION_PLATFORM MATCHES "mmu_linux")
     add_subdirectory(syscall/linux)
 elseif(DANDELION_PLATFORM MATCHES "kvm")
     add_subdirectory(platform/kvm)
-elseif(DANDELION_PLATFORM MATCHES "wasm")
-    add_subdirectory(platform/wasm)
 else()
     message(FATAL_ERROR "Invalid platform: ${DANDELION_PLATFORM}")
 endif()