Bump Renode version and migrate to using .NET portable

.ci.yml

@@ -7,21 +7,24 @@ stages:
       - $CI_COMMIT_REF_NAME == "master"
       - $CI_PIPELINE_SOURCE == "merge_request"
 
-.install_bazel: &install_bazel |-
-  apt -qq update
-  apt -qqy install apt-transport-https curl gnupg clang file zip
-  curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor >bazel-archive-keyring.gpg
-  mv bazel-archive-keyring.gpg /usr/share/keyrings
-  echo "deb [arch=amd64 signed-by=/usr/share/keyrings/bazel-archive-keyring.gpg] https://storage.googleapis.com/bazel-apt stable jdk1.8" | tee /etc/apt/sources.list.d/bazel.list
-  apt -qq update
-  apt -qqy install bazel
+.install_bazelisk: &install_bazelisk |-
+  apt-get -qqy update > /dev/null && \
+  apt-get -qqy --no-install-recommends install ca-certificates python3 build-essential clang git file zip wget && \
+  wget -nv https://github.com/bazelbuild/bazelisk/releases/download/v1.20.0/bazelisk-linux-amd64 -O /usr/local/bin/bazel && \
+  chmod +x /usr/local/bin/bazel
+
+.default_bazel_version: &default_bazel_version
+  USE_BAZEL_VERSION: 7.4.1
 
 test_examples:
   image: debian:12-slim
   stage: test
   <<: *common_triggers
+  variables:
+    <<: *default_bazel_version
+  before_script:
+    - *install_bazelisk
   script:
-    - *install_bazel
     - useradd -m non_root
     - chmod a+w -R .
     - pushd examples/cortex-r52

.github/workflows/bazel_test.yml

@@ -13,13 +13,15 @@ jobs:
         uses: actions/checkout@v2
 
       - name: Run example tests
+        env:
+          USE_BAZEL_VERSION: 7.4.1
         run: |
           pushd examples/cortex-r52
-          bazel test //:all
+          bazelisk test //:all
           ls bazel-testlogs/*/test.outputs/outputs.zip
           popd
           pushd examples/failing-test
-          ! bazel test //:all > test.log || exit 1
+          ! bazelisk test //:all > test.log || exit 1
           ls bazel-testlogs/*/test.outputs/outputs.zip
           grep -E "//:success-test +PASSED" test.log
           grep -E "//:failing-test +FAILED" test.log

renode/extensions.bzl

@@ -11,8 +11,8 @@ def _renode_impl(module_ctx):
     default_toolchain = "renode_default_toolchain"
     portable_renode_repository(
         name = default_toolchain,
-        url = "https://builds.renode.io/renode-1.15.3+20241112git6e850cb52.linux-portable.tar.gz",
-        sha256 = "cc6d2dce92a4542f15958ff7562343119e19a4852513fcab88132efe02522604",
+        url = "https://builds.renode.io/renode-1.15.3+20250113gite77cf1237.linux-portable-dotnet.tar.gz",
+        sha256 = "a6242b628b49b8a254358fe399ad49f0838c708abe44c551321c9555b7bff873",
     )
 
     renode_toolchains_repository(