diff --git a/src/kernel_sdk/Makefile b/src/kernel_sdk/Makefile
index b51d0274cd1698c81213039e4b936287c8682926..7d5b70be5ab2fb4b53ef7ca70314c556c29f0f10 100644
--- a/src/kernel_sdk/Makefile
+++ b/src/kernel_sdk/Makefile
@@ -10,7 +10,7 @@
 # to run in the tezt container, by setting the `NATIVE_TARGET`
 # environment variable.
 
-CC=clang
+CC?=clang
 
 .PHONY: all
 all: build test doc
diff --git a/src/kernel_sdk/README.md b/src/kernel_sdk/README.md
index 40812069a177702a6596da1ae7ed045178f54e45..90dc33aeb593cc70d5739a66ed79d130a6f9d597 100644
--- a/src/kernel_sdk/README.md
+++ b/src/kernel_sdk/README.md
@@ -31,10 +31,12 @@ with Tezos Smart Rollups, which only provide a 32bit address space.
 In order to build the Rust SDK, `clang >= 11` is required in addition to Rust. This can be installed
 through your favourite package manager.
 
-On MacOS, LLVM should be installed through homebrew:
+On MacOS, LLVM and the WebAssembly Binary Toolkit (WABT) can be installed
+through homebrew:
 
 ```shell
 brew install llvm
+brew install wabt
 LLVM_PATH=$(brew --prefix llvm)
 export AR="${LLVM_PATH}/bin/llvm-ar"
 export CC="${LLVM_PATH}/bin/clang"