Skip to content

Commit

Permalink
feat: update kernel and toolchain
Browse files Browse the repository at this point in the history
Linux Kernel 6.5.9-ctsi-1-v0.19.1
Toolchain v0.16.0
  • Loading branch information
vfusco committed Dec 7, 2023
1 parent a17abb2 commit 22b402d
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
name: Build/Test/Release
on: [push]
env:
KERNEL_VERSION: v0.18.0
LINUX_VERSION: 5.15.63-ctsi-2-v0.18.0
KERNEL_VERSION: v0.19.1
LINUX_VERSION: 6.5.9-ctsi-1-v0.19.1
ROOTFS_VERSION: v0.19.0
TEST_VERSION: vreset-uarch-test
CARTESI_TESTS_PATH: /usr/share/cartesi-machine/tests
Expand Down
2 changes: 1 addition & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
FROM --platform=$TARGETPLATFORM cartesi/toolchain:0.15.0-rv64ima-lp64 as linux-env
FROM --platform=$TARGETPLATFORM cartesi/toolchain:0.16.0-rv64ima-lp64 as linux-env
ARG GIT_COMMIT=""
ARG RELEASE=no
ARG COVERAGE=no
Expand Down
2 changes: 1 addition & 1 deletion src/tests/machine-bind.lua
Original file line number Diff line number Diff line change
Expand Up @@ -971,7 +971,7 @@ test_util.make_do_test(build_machine, machine_type, { uarch = test_reset_uarch_c
function(machine)
local log = machine:log_uarch_reset({ proofs = true, annotations = true })
local expected_dump = "begin reset uarch state\n"
.. ' 1: write uarch_state@0x400000(4194304): hash:"17b76b32"(2^22 bytes) -> hash:"990691da"(2^22 bytes)\n'
.. ' 1: write uarch_state@0x400000(4194304): hash:"fc6e9db3"(2^22 bytes) -> hash:"5ba1620b"(2^22 bytes)\n'
.. "end reset uarch state\n"

local tmpname = os.tmpname()
Expand Down

0 comments on commit 22b402d

Please sign in to comment.