diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b8f55c8..c2589c0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        platform: [linux-x64, darwin-x64, darwin-arm64]
+        platform: [linux-x64, linux-arm64, darwin-x64, darwin-arm64]
         node-version: [18.x]
         # See supported Node.js release schedule at https://nodejs.org/en/about/releases/
     steps:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index b4ee29c..5855d5b 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -18,6 +18,8 @@ jobs:
           - platform: linux-x64
             target:
             z3_static: z3-static
+          - platform: linux-arm64
+            target: --target linux-arm64
           - platform: darwin-x64
             target: --target darwin-x64
           - platform: darwin-arm64
diff --git a/configure.sh b/configure.sh
index e42d7fc..28704ba 100755
--- a/configure.sh
+++ b/configure.sh
@@ -22,6 +22,10 @@ case "$1" in
     OSTYPE=linux
     ARCH=x86_64
     ;;
+  linux-arm64)
+    OSTYPE=linux
+    ARCH=arm64
+    ;;
   linux*)
     OSTYPE=linux
     ;;
@@ -50,6 +54,10 @@ case "$OSTYPE" in
         Z3_OS_VERSION=x64-glibc-2.31
         KIND2_OS_VERSION=linux-x86_64
         ;;
+      arm64)
+        Z3_OS_VERSION=arm64-glibc-2.35
+        KIND2_OS_VERSION=linux-arm64
+        ;;
       *)
         echo "unsupported ARCH: $ARCH";
         exit 2;;