From 51180406bf1104e3fec53bcd3702beffc54ab5a3 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Thu, 5 Oct 2023 13:42:33 -0300
Subject: [PATCH 1/7] refactor: remove lua md5 dependency by using keccak
 instead

---
 Dockerfile                 | 1 -
 README.md                  | 3 ---
 src/tests/machine-test.lua | 5 ++---
 3 files changed, 2 insertions(+), 7 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 3b493bf81..4bf4b6788 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -21,7 +21,6 @@ RUN luarocks install --lua-version=5.4 luasocket && \
     luarocks install --lua-version=5.4 luasec && \
     luarocks install --lua-version=5.4 luaposix && \
     luarocks install --lua-version=5.4 lpeg && \
-    luarocks install --lua-version=5.4 md5 && \
     luarocks install --lua-version=5.4 dkjson && \
     luarocks install --lua-version=5.4 luacheck && \
     cargo install stylua@0.18.1 --features lua54
diff --git a/README.md b/README.md
index 2739b4b3b..1f3d683a3 100644
--- a/README.md
+++ b/README.md
@@ -45,7 +45,6 @@ sudo luarocks install --lua-version=5.4 dkjson
 sudo luarocks install --lua-version=5.4 luasocket
 sudo luarocks install --lua-version=5.4 luasec
 sudo luarocks install --lua-version=5.4 luaposix
-sudo luarocks install --lua-version=5.4 md5
 ```
 #### MacOS
 
@@ -58,7 +57,6 @@ sudo luarocks install --lua-version=5.4 dkjson
 sudo luarocks install --lua-version=5.4 luasocket
 sudo luarocks install --lua-version=5.4 luasec
 sudo luarocks install --lua-version=5.4 luaposix
-sudo luarocks install --lua-version=5.4 md5
 ```
 
 ##### Homebrew
@@ -69,7 +67,6 @@ luarocks --lua-dir=$(brew --prefix)/opt/lua@5.4 install dkjson
 luarocks --lua-dir=$(brew --prefix)/opt/lua@5.4 install luasocket
 luarocks --lua-dir=$(brew --prefix)/opt/lua@5.4 install luasec
 luarocks --lua-dir=$(brew --prefix)/opt/lua@5.4 install luaposix
-luarocks --lua-dir=$(brew --prefix)/opt/lua@5.4 install md5
 ```
 
 For emulator scripts to work it is expected that `lua5.4` binary is available in the system PATH. If operating system/package manager that you are using provides only `lua` or lua binary named in a different way (e.g. on `Homebrew`), please create symbolic link or alias `lua5.4`.
diff --git a/src/tests/machine-test.lua b/src/tests/machine-test.lua
index dfe2f6eae..e47026f02 100755
--- a/src/tests/machine-test.lua
+++ b/src/tests/machine-test.lua
@@ -18,7 +18,6 @@
 
 local cartesi = require("cartesi")
 local test_util = require("tests.util")
-local md5 = require("md5")
 
 -- Note: for grpc machine test to work, remote-cartesi-machine must run on
 -- same computer and remote-cartesi-machine execution path must be provided
@@ -244,11 +243,11 @@ do_test("dumped file hashes should match memory data hashes", function(machine)
         local data_region_size = tonumber(temp[2], 16)
 
         local dump = assert(io.open(file_name, "rb"))
-        local dump_hash = md5.sumhexa(dump:read("*all"))
+        local dump_hash = cartesi.keccak(dump:read("*all"))
         dump:close()
 
         local memory_read = machine:read_memory(data_region_start, data_region_size)
-        local memory_hash = md5.sumhexa(memory_read)
+        local memory_hash = cartesi.keccak(memory_read)
 
         assert(dump_hash == memory_hash, "hash does not match for dump file " .. file_name)
     end

From 24b75cb2a88a5e8db28d555be9885755f40ed820 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Thu, 5 Oct 2023 13:54:08 -0300
Subject: [PATCH 2/7] feat: replace MTD drives with PMEM drives

---
 src/cartesi-machine.lua             | 13 ++++---------
 src/dtb.cpp                         | 11 ++++-------
 tools/benchmarks/run-benchmarks.lua |  4 +---
 3 files changed, 9 insertions(+), 19 deletions(-)

diff --git a/src/cartesi-machine.lua b/src/cartesi-machine.lua
index d07840464..210d300f8 100755
--- a/src/cartesi-machine.lua
+++ b/src/cartesi-machine.lua
@@ -89,7 +89,7 @@ where options are:
 
   --flash-drive=<key>:<value>[,<key>:<value>[,...]...]
     defines a new flash drive, or modify an existing flash drive definition
-    flash drives appear as /dev/mtdblock[1-7].
+    flash drives appear as /dev/pmem[0-7].
 
     <key>:<value> is one of
         label:<label>
@@ -401,8 +401,8 @@ local memory_range_replace = {}
 local ram_image_filename = images_path .. "linux.bin"
 local ram_length = 64 << 20
 local dtb_image_filename = nil
-local dtb_bootargs = "console=hvc0 rootfstype=ext2 root=/dev/mtdblock0 rw quiet \z
-                      swiotlb=noforce init=/opt/cartesi/bin/init random.trust_bootloader=on"
+local dtb_bootargs = "console=hvc0 rootfstype=ext2 root=/dev/pmem0 rw quiet \z
+                      swiotlb=noforce init=/opt/cartesi/bin/init"
 local rollup
 local uarch
 local rollup_advance
@@ -1358,18 +1358,13 @@ else
         uarch = uarch,
         flash_drive = {},
     }
-    local mtdparts = {}
-    for i, label in ipairs(flash_label_order) do
+    for _, label in ipairs(flash_label_order) do
         config.flash_drive[#config.flash_drive + 1] = {
             image_filename = flash_image_filename[label],
             shared = flash_shared[label],
             start = flash_start[label],
             length = flash_length[label] or -1,
         }
-        mtdparts[#mtdparts + 1] = string.format("flash.%d:-(%s)", i - 1, label)
-    end
-    if #mtdparts > 0 then
-        config.dtb.bootargs = append(config.dtb.bootargs, "mtdparts=" .. table.concat(mtdparts, ";"))
     end
 
     config.dtb.bootargs = append(append(config.dtb.bootargs, append_dtb_bootargs), quiet and " splash=no" or "")
diff --git a/src/dtb.cpp b/src/dtb.cpp
index c66b408da..2d422e1e1 100644
--- a/src/dtb.cpp
+++ b/src/dtb.cpp
@@ -137,16 +137,13 @@ void dtb_init(const machine_config &c, unsigned char *dtb_start, uint64_t dtb_le
             fdt.end_node();
         }
 
-        // flash
+        // drives
         int drive_index = 0;
         for (const auto &f : c.flash_drive) {
-            fdt.begin_node_num("flash", f.start);
-            fdt.prop_u32("#address-cells", 2);
-            fdt.prop_u32("#size-cells", 2);
-            fdt.prop_string("compatible", "mtd-ram");
-            fdt.prop_u32("bank-width", 4);
+            fdt.begin_node_num("pmem", f.start);
+            fdt.prop_string("compatible", "pmem-region");
             fdt.prop_u64_list<2>("reg", {f.start, f.length});
-            fdt.prop_string("linux,mtd-name", "flash."s + std::to_string(drive_index));
+            fdt.prop_empty("volatile");
             fdt.end_node();
             drive_index++;
         }
diff --git a/tools/benchmarks/run-benchmarks.lua b/tools/benchmarks/run-benchmarks.lua
index f05d7b7d7..c4bbf9e06 100755
--- a/tools/benchmarks/run-benchmarks.lua
+++ b/tools/benchmarks/run-benchmarks.lua
@@ -90,9 +90,7 @@ local function build_machine(exec_args)
         },
         dtb = {
             bootargs = (
-                "console=hvc0 rootfstype=ext2 root=/dev/mtdblock0 rw "
-                .. "quiet mtdparts=flash.0:-(root) -- "
-                .. exec_args
+                "console=hvc0 rootfstype=ext2 root=/dev/pmem0 rw quiet -- " .. exec_args
             ),
         },
         ram = {

From 525f04df7ad8f6daa9ede083648861cd5a6771f1 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Thu, 5 Oct 2023 14:53:20 -0300
Subject: [PATCH 3/7] feat!: introduce machine init and entrypoint config and
 options

---
 lib/grpc-interfaces        |   2 +-
 src/cartesi-machine.lua    | 182 ++++++++++++++++++++++++++++++++++---
 src/clua-machine-util.cpp  |   8 ++
 src/dtb.cpp                |   2 +
 src/fdt-builder.h          |   5 +
 src/json-util.cpp          |   4 +
 src/jsonrpc-discover.json  |   6 ++
 src/machine-c-api.cpp      |   6 ++
 src/machine-c-api.h        |   2 +
 src/machine-config.h       |   2 +
 src/protobuf-util.cpp      |   4 +
 src/test-machine-c-api.cpp |   7 +-
 src/tests/machine-bind.lua |   2 +
 13 files changed, 215 insertions(+), 17 deletions(-)

diff --git a/lib/grpc-interfaces b/lib/grpc-interfaces
index 4ec6e6620..de85ec68a 160000
--- a/lib/grpc-interfaces
+++ b/lib/grpc-interfaces
@@ -1 +1 @@
-Subproject commit 4ec6e6620abce44048b9a8493124683ef15e0731
+Subproject commit de85ec68a10fded1da7dfa215351603764ad3f76
diff --git a/src/cartesi-machine.lua b/src/cartesi-machine.lua
index 210d300f8..7a8c8517f 100755
--- a/src/cartesi-machine.lua
+++ b/src/cartesi-machine.lua
@@ -97,6 +97,8 @@ where options are:
         start:<number>
         length:<number>
         shared
+        mount:<string>
+        user:<string>
 
         label (mandatory)
         identifies the flash drive. init attempts to mount it as /mnt/<label>.
@@ -119,6 +121,19 @@ where options are:
         target modifications to flash drive modify image file as well.
         by default, image files are not modified and changes are lost.
 
+        mount (optional)
+        whether the flash drive should be mounted automatically in init.
+        by default, the drive is mounted if there is an image file backing it,
+        you can use "mount:false" to disables auto mounting,
+        you can also use "mount:<path>" to choose a custom mount point.
+
+        user (optional)
+        changes the user ownership of the mounted directory when mount is true,
+        otherwise changes the user ownership of the respective /dev/pmemX device,
+        this option is useful to allow dapp's user access the flash drive,
+        by default the mounted directory ownership is configured by the filesystem being mounted,
+        in case mount is false the default ownership is set to the root user.
+
     (an option "--flash-drive=label:root,filename:rootfs.ext2" is implicit)
 
   --replace-flash-drive=<key>:<value>[,<key>:<value>[,...]...]
@@ -341,6 +356,25 @@ where options are:
     suppress cartesi-machine.lua output.
     exceptions: --initial-hash, --final-hash and text emitted from the target.
 
+  --no-init-splash
+    don't show cartesi machine splash on boot.
+
+  --append-init=<string>
+    append a command to machine's init script to be executed with root privilege.
+    The command is executed on boot after mounting flash drives and before running the entrypoint.
+    You can pass this option multiple times.
+
+  --append-init-file=<filename>
+    like --append-init, but use contents from a file.
+
+  --append-entrypoint=<string>
+    append a command to machine's entrypoint script to be executed with dapp privilege.
+    The command is executed after the machine is initialized and before the final entrypoint command.
+    You can pass this option multiple times.
+
+  --append-entrypoint-file=<filename>
+    like --append-entrypoint, but use contents from a file.
+
   --gdb[=<address>]
     listen at <address> and wait for a GDB connection to debug the machine.
     If <address> is omitted, '127.0.0.1:1234' is used by default.
@@ -395,6 +429,8 @@ local images_path = adjust_images_path(os.getenv("CARTESI_IMAGES_PATH"))
 local flash_image_filename = { root = images_path .. "rootfs.ext2" }
 local flash_label_order = { "root" }
 local flash_shared = {}
+local flash_mount = {}
+local flash_user = {}
 local flash_start = {}
 local flash_length = {}
 local memory_range_replace = {}
@@ -403,6 +439,9 @@ local ram_length = 64 << 20
 local dtb_image_filename = nil
 local dtb_bootargs = "console=hvc0 rootfstype=ext2 root=/dev/pmem0 rw quiet \z
                       swiotlb=noforce init=/opt/cartesi/bin/init"
+local init_splash = true
+local append_init = ""
+local append_entrypoint = ""
 local rollup
 local uarch
 local rollup_advance
@@ -434,7 +473,6 @@ local store_config = false
 local load_config = false
 local gdb_address
 local exec_arguments = {}
-local quiet = false
 local assert_rolling_template = false
 
 local function parse_memory_range(opts, what, all)
@@ -645,6 +683,8 @@ local options = {
                 label = true,
                 filename = true,
                 shared = true,
+                mount = true,
+                user = true,
                 length = true,
                 start = true,
             })
@@ -653,6 +693,18 @@ local options = {
             f.filename = nil
             if f.image_filename == true then f.image_filename = "" end
             assert(not f.shared or f.shared == true, "invalid flash drive shared value in " .. all)
+            if f.mount == nil then
+                -- mount only if there is a file backing
+                if f.image_filename and f.image_filename ~= "" then
+                    f.mount = "/mnt/" .. f.label
+                else
+                    f.mount = false
+                end
+            elseif f.mount == "true" then
+                f.mount = "/mnt/" .. f.label
+            elseif f.mount == "false" then
+                f.mount = false
+            end
             if f.start then f.start = assert(util.parse_number(f.start), "invalid flash drive start in " .. all) end
             if f.length then f.length = assert(util.parse_number(f.length), "invalid flash drive length in " .. all) end
             local d = f.label
@@ -664,6 +716,8 @@ local options = {
             flash_start[d] = f.start or flash_start[d]
             flash_length[d] = f.length or flash_length[d]
             flash_shared[d] = f.shared or flash_shared[d]
+            flash_mount[d] = f.mount or flash_mount[d]
+            flash_user[d] = f.user or flash_user[d]
             return true
         end,
     },
@@ -849,7 +903,6 @@ local options = {
         function(all)
             if not all then return false end
             stderr = function() end
-            quiet = true
             return true
         end,
     },
@@ -1056,6 +1109,52 @@ local options = {
             return true
         end,
     },
+    {
+        "^%-%-no%-init%-splash$",
+        function(all)
+            if not all then return false end
+            init_splash = false
+            return true
+        end,
+    },
+    {
+        "^%-%-append%-init%=(.*)$",
+        function(o)
+            if not o or #o < 1 then return false end
+            append_init = append_init .. o .. "\n"
+            return true
+        end,
+    },
+    {
+        "^%-%-append%-init%-file%=(.*)$",
+        function(o)
+            if not o or #o < 1 then return false end
+            local f <close> = assert(io.open(o, "rb"))
+            local contents = assert(f:read("*a"))
+            if not contents:find("\n$") then contents = contents .. "\n" end
+            append_init = append_init .. contents
+            return true
+        end,
+    },
+    {
+        "^%-%-append%-entrypoint%=(.*)$",
+        function(o)
+            if not o or #o < 1 then return false end
+            append_entrypoint = append_entrypoint .. o .. "\n"
+            return true
+        end,
+    },
+    {
+        "^%-%-append%-entrypoint%-file%=(.*)$",
+        function(o)
+            if not o or #o < 1 then return false end
+            local f <close> = assert(io.open(o, "rb"))
+            local contents = assert(f:read("*a"))
+            if not contents:find("\n$") then contents = contents .. "\n" end
+            append_entrypoint = append_entrypoint .. contents
+            return true
+        end,
+    },
     {
         "^%-%-gdb(%=?)(.*)$",
         function(o, address)
@@ -1168,6 +1267,10 @@ local function store_machine_config(config, output)
     comment_default(dtb.image_filename, def.dtb.image_filename)
     output("    bootargs = %q,", dtb.bootargs or def.dtb.bootargs)
     comment_default(dtb.bootargs, def.dtb.bootargs)
+    output("    init = %q,", dtb.init or def.dtb.init)
+    comment_default(dtb.init, def.dtb.init)
+    output("    entrypoint = %q,", dtb.entrypoint or def.dtb.entrypoint)
+    comment_default(dtb.entrypoint, def.dtb.entrypoint)
     output("  },\n")
     local tlb = config.tlb or {}
     output("  tlb = {\n")
@@ -1277,14 +1380,6 @@ local function dump_value_proofs(machine, desired_proofs, has_htif_console_getch
     end
 end
 
-local function append(a, b)
-    a = a or ""
-    b = b or ""
-    if a == "" then return b end
-    if b == "" then return a end
-    return a .. " " .. b
-end
-
 local function create_machine(config_or_dir, runtime)
     if remote then return remote.machine(config_or_dir, runtime) end
     return cartesi.machine(config_or_dir, runtime)
@@ -1344,6 +1439,8 @@ else
         dtb = {
             image_filename = dtb_image_filename,
             bootargs = dtb_bootargs,
+            init = "",
+            entrypoint = "",
         },
         ram = {
             image_filename = ram_image_filename,
@@ -1358,20 +1455,75 @@ else
         uarch = uarch,
         flash_drive = {},
     }
+
+    -- show splash on init
+    if init_splash then
+        config.dtb.init = config.dtb.init
+            .. ([[
+echo "
+         .
+        / \
+      /    \
+\---/---\  /----\
+ \       X       \
+  \----/  \---/---\
+       \    / CARTESI
+        \ /   MACHINE
+         '
+"
+]]):gsub("\\", "\\\\")
+    end
+
     for _, label in ipairs(flash_label_order) do
+        local devname = "pmem" .. #config.flash_drive
         config.flash_drive[#config.flash_drive + 1] = {
             image_filename = flash_image_filename[label],
             shared = flash_shared[label],
             start = flash_start[label],
             length = flash_length[label] or -1,
         }
+        -- auto mount
+        local mount = flash_mount[label]
+        local chownpath = "/dev/" .. devname
+        if label ~= "root" and mount then
+            local cmd = table.concat({
+                'busybox mkdir -p "',
+                mount,
+                '" && busybox mount /dev/',
+                devname,
+                ' "',
+                mount,
+                '"',
+            })
+            config.dtb.init = config.dtb.init .. cmd .. "\n"
+            chownpath = mount
+        end
+        -- change permission
+        local user = flash_user[label]
+        if label ~= "root" and user then
+            local cmd = table.concat({
+                "busybox chown ",
+                user,
+                ": ",
+                chownpath,
+            })
+            config.dtb.init = config.dtb.init .. cmd .. "\n"
+        end
+        do -- create a map of the label in /run/drive-label for flashdrive tool
+            local cmd = table.concat({
+                'busybox mkdir -p /run/drive-label && echo "',
+                label,
+                '" > /run/drive-label/',
+                devname,
+            })
+            config.dtb.init = config.dtb.init .. cmd .. "\n"
+        end
     end
 
-    config.dtb.bootargs = append(append(config.dtb.bootargs, append_dtb_bootargs), quiet and " splash=no" or "")
-
-    if #exec_arguments > 0 then
-        config.dtb.bootargs = append(config.dtb.bootargs, "-- " .. table.concat(exec_arguments, " "))
-    end
+    if #append_dtb_bootargs > 0 then config.dtb.bootargs = config.dtb.bootargs .. " " .. append_dtb_bootargs end
+    if #append_init > 0 then config.dtb.init = config.dtb.init .. append_init end
+    if #append_entrypoint > 0 then config.dtb.entrypoint = config.dtb.entrypoint .. append_entrypoint end
+    if #exec_arguments > 0 then config.dtb.entrypoint = config.dtb.entrypoint .. table.concat(exec_arguments, " ") end
 
     if load_config then
         local env = {}
diff --git a/src/clua-machine-util.cpp b/src/clua-machine-util.cpp
index 76c3ff26e..3a50c1ed0 100644
--- a/src/clua-machine-util.cpp
+++ b/src/clua-machine-util.cpp
@@ -778,6 +778,12 @@ static void push_cm_dtb_config(lua_State *L, const cm_dtb_config *r) {
     if (r->bootargs != nullptr) {
         clua_setstringfield(L, r->bootargs, "bootargs", -1);
     }
+    if (r->init != nullptr) {
+        clua_setstringfield(L, r->init, "init", -1);
+    }
+    if (r->entrypoint != nullptr) {
+        clua_setstringfield(L, r->entrypoint, "entrypoint", -1);
+    }
     if (r->image_filename != nullptr) {
         clua_setstringfield(L, r->image_filename, "image_filename", -1);
     }
@@ -952,6 +958,8 @@ static void check_cm_dtb_config(lua_State *L, int tabidx, cm_dtb_config *r) {
     }
     r->image_filename = opt_copy_string_field(L, -1, "image_filename");
     r->bootargs = opt_copy_string_field(L, -1, "bootargs");
+    r->init = opt_copy_string_field(L, -1, "init");
+    r->entrypoint = opt_copy_string_field(L, -1, "entrypoint");
     lua_pop(L, 1);
 }
 
diff --git a/src/dtb.cpp b/src/dtb.cpp
index 2d422e1e1..4d1ef758e 100644
--- a/src/dtb.cpp
+++ b/src/dtb.cpp
@@ -76,6 +76,8 @@ void dtb_init(const machine_config &c, unsigned char *dtb_start, uint64_t dtb_le
         { // cartesi-machine
             fdt.begin_node("cartesi-machine");
             fdt.prop_string("version", CM_VERSION);
+            fdt.prop_string_data("init", c.dtb.init);
+            fdt.prop_string_data("entrypoint", c.dtb.entrypoint);
             fdt.end_node();
         }
 
diff --git a/src/fdt-builder.h b/src/fdt-builder.h
index 46f274ead..4f8a2d164 100644
--- a/src/fdt-builder.h
+++ b/src/fdt-builder.h
@@ -158,6 +158,11 @@ class FDTBuilder {
         prop(name, reinterpret_cast<const uint8_t *>(v.c_str()), v.length() + 1);
     }
 
+    void prop_string_data(const std::string &name, const std::string &v) {
+        // NOLINTNEXTLINE(cppcoreguidelines-pro-type-reinterpret-cast)
+        prop(name, reinterpret_cast<const uint8_t *>(v.c_str()), v.length());
+    }
+
     template <uint32_t N>
     void prop_u32_list(const std::string &name, const std::array<uint32_t, N> &vs) {
         put_u32(FDT_PROP);
diff --git a/src/json-util.cpp b/src/json-util.cpp
index e4ebd1215..9e83720e4 100644
--- a/src/json-util.cpp
+++ b/src/json-util.cpp
@@ -787,6 +787,8 @@ void ju_get_opt_field(const nlohmann::json &j, const K &key, dtb_config &value,
     const auto &jconfig = j[key];
     const auto new_path = path + to_string(key) + "/";
     ju_get_opt_field(jconfig, "bootargs"s, value.bootargs, new_path);
+    ju_get_opt_field(jconfig, "init"s, value.init, new_path);
+    ju_get_opt_field(jconfig, "entrypoint"s, value.entrypoint, new_path);
     ju_get_opt_field(jconfig, "image_filename"s, value.image_filename, new_path);
 }
 
@@ -1129,6 +1131,8 @@ void to_json(nlohmann::json &j, const ram_config &config) {
 void to_json(nlohmann::json &j, const dtb_config &config) {
     j = nlohmann::json{
         {"bootargs", config.bootargs},
+        {"init", config.init},
+        {"entrypoint", config.entrypoint},
         {"image_filename", config.image_filename},
     };
 }
diff --git a/src/jsonrpc-discover.json b/src/jsonrpc-discover.json
index d13236f2b..155b0104c 100644
--- a/src/jsonrpc-discover.json
+++ b/src/jsonrpc-discover.json
@@ -1458,6 +1458,12 @@
           "bootargs": {
             "type": "string"
           },
+          "init": {
+            "type": "string"
+          },
+          "entrypoint": {
+            "type": "string"
+          },
           "image_filename": {
             "type": "string"
           }
diff --git a/src/machine-c-api.cpp b/src/machine-c-api.cpp
index 0808d5b7b..37306f2a4 100644
--- a/src/machine-c-api.cpp
+++ b/src/machine-c-api.cpp
@@ -190,6 +190,8 @@ static cm_ram_config convert_to_c(const cartesi::ram_config &cpp_config) {
 static cartesi::dtb_config convert_from_c(const cm_dtb_config *c_config) {
     cartesi::dtb_config new_cpp_dtb_config{};
     new_cpp_dtb_config.bootargs = null_to_empty(c_config->bootargs);
+    new_cpp_dtb_config.init = null_to_empty(c_config->init);
+    new_cpp_dtb_config.entrypoint = null_to_empty(c_config->entrypoint);
     new_cpp_dtb_config.image_filename = null_to_empty(c_config->image_filename);
     return new_cpp_dtb_config;
 }
@@ -197,6 +199,8 @@ static cartesi::dtb_config convert_from_c(const cm_dtb_config *c_config) {
 static cm_dtb_config convert_to_c(const cartesi::dtb_config &cpp_config) {
     cm_dtb_config new_c_dtb_config{};
     new_c_dtb_config.bootargs = convert_to_c(cpp_config.bootargs);
+    new_c_dtb_config.init = convert_to_c(cpp_config.init);
+    new_c_dtb_config.entrypoint = convert_to_c(cpp_config.entrypoint);
     new_c_dtb_config.image_filename = convert_to_c(cpp_config.image_filename);
     return new_c_dtb_config;
 }
@@ -704,6 +708,8 @@ void cm_delete_machine_config(const cm_machine_config *config) {
     delete[] config->flash_drive.entry;
     delete[] config->dtb.image_filename;
     delete[] config->dtb.bootargs;
+    delete[] config->dtb.init;
+    delete[] config->dtb.entrypoint;
     delete[] config->ram.image_filename;
     delete[] config->tlb.image_filename;
     delete[] config->rollup.rx_buffer.image_filename;
diff --git a/src/machine-c-api.h b/src/machine-c-api.h
index 7c411e89f..a115c31d7 100644
--- a/src/machine-c-api.h
+++ b/src/machine-c-api.h
@@ -194,6 +194,8 @@ typedef struct {                // NOLINT(modernize-use-using)
 /// \brief DTB state configuration
 typedef struct {                // NOLINT(modernize-use-using)
     const char *bootargs;       ///< Bootargs to pass to kernel
+    const char *init;           ///< Initialization commands to be executed as root on boot
+    const char *entrypoint;     ///< Commands to execute the main application
     const char *image_filename; ///< ROM image file
 } cm_dtb_config;
 
diff --git a/src/machine-config.h b/src/machine-config.h
index c05986fcd..370364758 100644
--- a/src/machine-config.h
+++ b/src/machine-config.h
@@ -76,6 +76,8 @@ struct ram_config final {         // NOLINT(bugprone-exception-escape)
 /// \brief DTB state configuration
 struct dtb_config final {
     std::string bootargs{};       ///< Bootargs to pass to kernel
+    std::string init{};           ///< Initialization commands to be executed as root on boot
+    std::string entrypoint{};     ///< Commands to execute the main application
     std::string image_filename{}; ///< DTB image file
 };
 
diff --git a/src/protobuf-util.cpp b/src/protobuf-util.cpp
index ba22f7818..1c59ea30a 100644
--- a/src/protobuf-util.cpp
+++ b/src/protobuf-util.cpp
@@ -47,6 +47,8 @@ void set_proto_machine_config(const machine_config &c, CartesiMachine::MachineCo
     auto *proto_dtb = proto_c->mutable_dtb();
     proto_dtb->set_bootargs(c.dtb.bootargs);
     proto_dtb->set_image_filename(c.dtb.image_filename);
+    proto_dtb->set_init(c.dtb.init);
+    proto_dtb->set_entrypoint(c.dtb.entrypoint);
     auto *proto_ram = proto_c->mutable_ram();
     proto_ram->set_length(c.ram.length);
     proto_ram->set_image_filename(c.ram.image_filename);
@@ -815,6 +817,8 @@ machine_config get_proto_machine_config(const CartesiMachine::MachineConfig &pro
     }
     if (proto_c.has_dtb()) {
         c.dtb.bootargs = proto_c.dtb().bootargs();
+        c.dtb.init = proto_c.dtb().init();
+        c.dtb.entrypoint = proto_c.dtb().entrypoint();
         c.dtb.image_filename = proto_c.dtb().image_filename();
     }
     if (proto_c.has_ram()) {
diff --git a/src/test-machine-c-api.cpp b/src/test-machine-c-api.cpp
index 2ff68aaf5..82ada254a 100644
--- a/src/test-machine-c-api.cpp
+++ b/src/test-machine-c-api.cpp
@@ -216,6 +216,8 @@ class incomplete_machine_fixture : public default_machine_fixture {
         target->ram.image_filename = new_cstr(source->ram.image_filename);
 
         target->dtb.bootargs = new_cstr(source->dtb.bootargs);
+        target->dtb.init = new_cstr(source->dtb.init);
+        target->dtb.entrypoint = new_cstr(source->dtb.entrypoint);
         target->dtb.image_filename = new_cstr(source->dtb.image_filename);
 
         target->flash_drive.count = source->flash_drive.count;
@@ -243,6 +245,8 @@ class incomplete_machine_fixture : public default_machine_fixture {
         delete[] config->flash_drive.entry;
         delete[] config->dtb.image_filename;
         delete[] config->dtb.bootargs;
+        delete[] config->dtb.init;
+        delete[] config->dtb.entrypoint;
         delete[] config->ram.image_filename;
         delete[] config->uarch.ram.image_filename;
     }
@@ -419,7 +423,8 @@ bool operator==(const cm_ram_config &lhs, const cm_ram_config &rhs) {
 }
 
 bool operator==(const cm_dtb_config &lhs, const cm_dtb_config &rhs) {
-    return ((strcmp(lhs.bootargs, rhs.bootargs) == 0) && (strcmp(lhs.image_filename, rhs.image_filename) == 0));
+    return ((strcmp(lhs.bootargs, rhs.bootargs) == 0) && (strcmp(lhs.init, rhs.init) == 0) &&
+        (strcmp(lhs.entrypoint, rhs.entrypoint) == 0) && (strcmp(lhs.image_filename, rhs.image_filename) == 0));
 }
 
 bool operator==(const cm_tlb_config &lhs, const cm_tlb_config &rhs) {
diff --git a/src/tests/machine-bind.lua b/src/tests/machine-bind.lua
index 65bb2bbe5..8e7832314 100755
--- a/src/tests/machine-bind.lua
+++ b/src/tests/machine-bind.lua
@@ -452,6 +452,8 @@ local function test_config(config)
     local dtb = config.dtb
     assert(dtb.image_filename == nil or type(dtb.image_filename) == "string", "invalid dtb.image_filename")
     assert(dtb.bootargs == nil or type(dtb.bootargs) == "string", "invalid dtb.bootargs")
+    assert(dtb.init == nil or type(dtb.init) == "string", "invalid dtb.init")
+    assert(dtb.entrypoint == nil or type(dtb.entrypoint) == "string", "invalid dtb.entrypoint")
     local tlb = config.tlb
     assert(tlb.image_filename == nil or type(tlb.image_filename) == "string", "invalid tlb.image_filename")
     for _, f in ipairs(config.flash_drive) do

From 958765ab6bd6b2566b34de8b32890bb750391a08 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Sat, 7 Oct 2023 11:19:16 -0300
Subject: [PATCH 4/7] refactor!: adjust bootargs and rename bootargs command
 line option

---
 src/cartesi-machine-tests.lua |  4 ++--
 src/cartesi-machine.lua       | 23 +++++++++++------------
 2 files changed, 13 insertions(+), 14 deletions(-)

diff --git a/src/cartesi-machine-tests.lua b/src/cartesi-machine-tests.lua
index d8192ddd3..4afc7bff2 100755
--- a/src/cartesi-machine-tests.lua
+++ b/src/cartesi-machine-tests.lua
@@ -668,7 +668,7 @@ local function print_machine(test_name, expected_cycles)
             "./cartesi-machine.lua \
  --ram-length=32Mi\
  --ram-image='%s'\
- --no-dtb-bootargs\
+ --no-bootargs\
  --max-mcycle=%d ",
             test_path .. "/" .. test_name,
             2 * expected_cycles
@@ -679,7 +679,7 @@ local function print_machine(test_name, expected_cycles)
                 "./cartesi-machine.lua \
  --ram-length=32Mi\
  --ram-image='%s'\
- --no-dtb-bootargs\
+ --no-bootargs\
  --uarch-ram-length=%d\
  --uarch-ram-image=%s\
  --max-mcycle=%d ",
diff --git a/src/cartesi-machine.lua b/src/cartesi-machine.lua
index 7a8c8517f..5d1bd783d 100755
--- a/src/cartesi-machine.lua
+++ b/src/cartesi-machine.lua
@@ -78,10 +78,10 @@ where options are:
   --dtb-image=<filename>
     name of file containing DTB image (default: auto generated flattened device tree).
 
-  --no-dtb-bootargs
+  --no-bootargs
     clear default bootargs.
 
-  --append-dtb-bootargs=<string>
+  --append-bootargs=<string>
     append <string> to bootargs.
 
   --no-root-flash-drive
@@ -437,9 +437,9 @@ local memory_range_replace = {}
 local ram_image_filename = images_path .. "linux.bin"
 local ram_length = 64 << 20
 local dtb_image_filename = nil
-local dtb_bootargs = "console=hvc0 rootfstype=ext2 root=/dev/pmem0 rw quiet \z
-                      swiotlb=noforce init=/opt/cartesi/bin/init"
+local bootargs = "quiet earlycon=sbi console=hvc0 rootfstype=ext2 root=/dev/pmem0 rw init=/opt/cartesi/bin/init"
 local init_splash = true
+local append_bootargs = ""
 local append_init = ""
 local append_entrypoint = ""
 local rollup
@@ -449,7 +449,6 @@ local rollup_inspect
 local concurrency_update_merkle_tree = 0
 local skip_root_hash_check = false
 local skip_version_check = false
-local append_dtb_bootargs = ""
 local htif_no_console_putchar = false
 local htif_console_getchar = false
 local htif_yield_automatic = false
@@ -569,18 +568,18 @@ local options = {
         end,
     },
     {
-        "^%-%-no%-dtb%-bootargs$",
+        "^%-%-no%-bootargs$",
         function(all)
             if not all then return false end
-            dtb_bootargs = ""
+            bootargs = ""
             return true
         end,
     },
     {
-        "^%-%-append%-dtb%-bootargs%=(.*)$",
+        "^%-%-append%-bootargs%=(.*)$",
         function(o)
             if not o or #o < 1 then return false end
-            append_dtb_bootargs = o
+            append_bootargs = o
             return true
         end,
     },
@@ -878,7 +877,7 @@ local options = {
             flash_length.root = nil
             flash_shared.root = nil
             table.remove(flash_label_order, 1)
-            dtb_bootargs = "console=hvc0"
+            bootargs = "quiet earlycon=sbi console=hvc0"
             return true
         end,
     },
@@ -1438,7 +1437,7 @@ else
         },
         dtb = {
             image_filename = dtb_image_filename,
-            bootargs = dtb_bootargs,
+            bootargs = bootargs,
             init = "",
             entrypoint = "",
         },
@@ -1520,7 +1519,7 @@ echo "
         end
     end
 
-    if #append_dtb_bootargs > 0 then config.dtb.bootargs = config.dtb.bootargs .. " " .. append_dtb_bootargs end
+    if #append_bootargs > 0 then config.dtb.bootargs = config.dtb.bootargs .. " " .. append_bootargs end
     if #append_init > 0 then config.dtb.init = config.dtb.init .. append_init end
     if #append_entrypoint > 0 then config.dtb.entrypoint = config.dtb.entrypoint .. append_entrypoint end
     if #exec_arguments > 0 then config.dtb.entrypoint = config.dtb.entrypoint .. table.concat(exec_arguments, " ") end

From eee575d32353a102486e343597827e5a7c321781 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Sat, 7 Oct 2023 12:07:47 -0300
Subject: [PATCH 5/7] feat: introduce -it option for colored and bigger
 interactive terminal

---
 src/cartesi-machine.lua | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/src/cartesi-machine.lua b/src/cartesi-machine.lua
index 5d1bd783d..cccba4f40 100755
--- a/src/cartesi-machine.lua
+++ b/src/cartesi-machine.lua
@@ -300,6 +300,12 @@ where options are:
   -i or --htif-console-getchar
     run in interactive mode.
 
+  -it
+    run in interactive mode like -i,
+    but also sets terminal features and size in the guest to match with the host.
+    This option will copy TERM, LANG, LC_ALL environment variables from the host to the guest,
+    allowing the use of true colors and special characters when the host terminal supports.
+
   --htif-yield-manual
     honor yield requests with manual reset by target.
 
@@ -643,6 +649,26 @@ local options = {
             return true
         end,
     },
+    {
+        "^%-it$",
+        function(all)
+            if not all then return false end
+            htif_console_getchar = true
+            local term, lang, lc_all = os.getenv("TERM"), os.getenv("LANG"), os.getenv("LC_ALL")
+            if term then append_init = append_init .. "export TERM=" .. term .. "\n" end
+            if lang then append_init = append_init .. "export LANG=" .. lang .. "\n" end
+            if lc_all then append_init = append_init .. "export LC_ALL=" .. lc_all .. "\n" end
+            local stty <close> = assert(io.popen("stty size"))
+            local line = assert(stty:read(), "command failed: stty size")
+            if line then
+                local rows, cols = line:match("^([0-9]+) ([0-9]+)$")
+                if rows and cols then
+                    append_init = append_init .. "busybox stty rows " .. rows .. " cols " .. cols .. "\n"
+                end
+            end
+            return true
+        end,
+    },
     {
         "^%-%-htif%-yield%-manual$",
         function(all)

From 86cddbe23e55442e90d8d6698545e92128222568 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Sun, 8 Oct 2023 19:45:03 -0300
Subject: [PATCH 6/7] fix: reserve memory for firmware M-mode code in FDT

---
 src/dtb.cpp | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/dtb.cpp b/src/dtb.cpp
index 4d1ef758e..1ef881d5d 100644
--- a/src/dtb.cpp
+++ b/src/dtb.cpp
@@ -139,6 +139,20 @@ void dtb_init(const machine_config &c, unsigned char *dtb_start, uint64_t dtb_le
             fdt.end_node();
         }
 
+        { // reserved memory
+            fdt.begin_node("reserved-memory");
+            fdt.prop_u32("#address-cells", 2);
+            fdt.prop_u32("#size-cells", 2);
+            fdt.prop_empty("ranges");
+            { // reserve 256KB for firmware M-mode code (such as OpenSBI)
+                fdt.begin_node_num("fw_resv", PMA_RAM_START);
+                fdt.prop_u64_list<2>("reg", {PMA_RAM_START, 0x40000});
+                fdt.prop_empty("no-map");
+                fdt.end_node();
+            }
+            fdt.end_node();
+        }
+
         // drives
         int drive_index = 0;
         for (const auto &f : c.flash_drive) {

From 08ca12de8e30c48c0d2893a781c66acd912ec010 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Fri, 13 Oct 2023 18:08:23 -0300
Subject: [PATCH 7/7] ci: bump kernel and rootfs version

---
 .github/workflows/build.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 04fef06ec..889b9bf13 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,9 +1,9 @@
 name: Build/Test/Release
 on: [push]
 env:
-  KERNEL_VERSION: v0.17.0
-  LINUX_VERSION: 5.15.63-ctsi-2-v0.17.0
-  ROOTFS_VERSION: v0.18.0
+  KERNEL_VERSION: v0.18.0
+  LINUX_VERSION: 5.15.63-ctsi-2-v0.18.0
+  ROOTFS_VERSION: v0.19.0
   TEST_VERSION: v0.29.0
   CARTESI_TESTS_PATH: /usr/share/cartesi-machine/tests
   CARTESI_IMAGES_PATH: /usr/share/cartesi-machine/images