Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions flowey/flowey_lib_hvlite/src/_jobs/cfg_versions.rs
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,9 @@ pub const NODEJS: &str = "24.x";
// N.B. Kernel version numbers for dev and stable branches are not directly
// comparable. They originate from separate branches, and the fourth digit
// increases with each release from the respective branch.
pub const OPENHCL_KERNEL_DEV_VERSION: &str = "6.12.52.12";
pub const OPENHCL_KERNEL_STABLE_VERSION: &str = "6.12.52.11";

pub const OPENHCL_KERNEL_DEV_VERSION: &str = "6.18.0.2";
pub const OPENHCL_KERNEL_STABLE_VERSION: &str = "6.18.0.2";
pub const OPENVMM_DEPS: &str = "0.1.0-20260401.1";
pub const PROTOC: &str = "27.1";

Expand Down
3 changes: 1 addition & 2 deletions nix/openhcl_kernel.nix
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
{ system, stdenv, fetchzip, targetArch ? null, is_dev ? false, is_cvm ? false }:

let
version = if is_dev then "6.12.52.12" else "6.12.52.11";
version = "6.18.0.100-savic_test";
# Allow explicit override of architecture, otherwise derive from host system
# Note: targetArch uses "x86_64"/"aarch64", but URLs use "x64"/"arm64"
arch = if targetArch == "x86_64" then "x64"
Expand Down
8 changes: 4 additions & 4 deletions vm/loader/manifests/openhcl-x64-cvm-release.json
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
},
"image": {
"openhcl": {
"command_line": "",
"command_line": "OPENHCL_CONFIDENTIAL_DEBUG=1",
"memory_page_count": 163840,
"memory_page_base": 32768,
"uefi": true
Expand All @@ -27,13 +27,13 @@
"max_vtl": 2,
"isolation_type": {
"tdx": {
"enable_debug": false,
"enable_debug": true,
"sept_ve_disable": true
}
},
"image": {
"openhcl": {
"command_line": "",
"command_line": "OPENHCL_CONFIDENTIAL_DEBUG=1",
"memory_page_count": 16384,
"memory_page_base": 32768,
"uefi": true
Expand All @@ -58,4 +58,4 @@
}
}
]
}
}
Loading