address all the code reviews up to this point

Author: sabine

data/tool_pages/platform/2ct_00_native.md

@@ -33,6 +33,9 @@ The native-code compiler is available only on 64-bit systems (OCaml 5.0+):
 - **ARM64 (AArch64)** - Linux, macOS (including Apple Silicon)
 - **RISC-V** - Linux
 - **IBM Z (s390x)** - Linux (OCaml 5.1+)
+- **PowerPC (PPC64)** - Linux
+
+All native code platforms use **63-bit integers** (with 1 bit reserved for the garbage collector tag).
 
 **Windows:** Native compilation is supported via MSVC, MinGW, or Cygwin toolchains. See [OCaml on Windows](https://ocaml.org/docs/ocaml-on-windows) for setup details.
 

data/tool_pages/platform/2ct_01_bytecode.md

@@ -23,6 +23,8 @@ Bytecode provides several advantages over native compilation:
 - Predictable and consistent execution behavior
 - Easier debugging with built-in tools
 
+The bytecode compiler can be built in either 32-bit or 64-bit mode, resulting in **31-bit or 63-bit integers**, respectively (with 1 bit reserved for the garbage collector tag).
+
 ## When to Use Bytecode
 
 **Use bytecode** when you want fast compilation during development, need maximum portability, or are targeting platforms without a native code compiler.

data/tool_pages/platform/2ct_02_javascript.md

@@ -17,8 +17,11 @@ OCaml can compile to JavaScript, enabling you to write type-safe, high-performan
 - Excellent performance with compact output
 - Strong integration with existing JavaScript libraries
 - Access to browser APIs and DOM manipulation
-- Support for the full OCaml language, including advanced features
+- Support for the full OCaml language, including OCaml 5 effects
 - Compatibility with most OCaml libraries and the standard library
+- **32-bit integers** (JavaScript's bit operations are 32-bit)
+
+**Note:** While Js_of_ocaml supports OCaml 5 effects, it has limited support for Domains (multicore parallelism).
 
 Js_of_ocaml is ideal when you want to leverage existing OCaml code in web applications or need access to the complete OCaml ecosystem.
 

data/tool_pages/platform/2ct_03_wasm.md

@@ -18,16 +18,19 @@ WebAssembly is a binary instruction format designed as a portable compilation ta
 ## Available Tools
 
 ### wasm_of_ocaml
-[wasm_of_ocaml](https://github.com/ocaml-wasm/wasm_of_ocaml) compiles OCaml bytecode to WebAssembly. It provides:
-- Full OCaml language support, including the standard library
+[wasm_of_ocaml](https://github.com/ocsigen/js_of_ocaml/blob/master/README_wasm_of_ocaml.md) compiles OCaml bytecode to WebAssembly. It provides:
+- Full OCaml language support, including the standard library and OCaml 5 effects
 - Compatibility with existing OCaml libraries
 - Integration with JavaScript through Js_of_ocaml-style bindings
 - Ability to run OCaml code in browsers and WASM runtimes
 - Shared infrastructure with Js_of_ocaml for web development
+- **31-bit integers** (similar to traditional OCaml bytecode on 32-bit systems)
+
+**Note:** While wasm_of_ocaml supports OCaml 5 effects, it has limited support for Domains (multicore parallelism).
 
 wasm_of_ocaml is ideal when you want to leverage existing OCaml code with WebAssembly's performance characteristics while maintaining compatibility with the OCaml ecosystem.
 
-Visit the [wasm_of_ocaml repository](https://github.com/ocaml-wasm/wasm_of_ocaml) to learn how to install and set up wasm_of_ocaml, compile OCaml programs to WebAssembly, interact with JavaScript APIs from WASM, and deploy WASM modules in web applications.
+Visit the [wasm_of_ocaml documentation](https://github.com/ocsigen/js_of_ocaml/blob/master/README_wasm_of_ocaml.md) in the Js_of_ocaml repository to learn how to install and set up wasm_of_ocaml, compile OCaml programs to WebAssembly, interact with JavaScript APIs from WASM, and deploy WASM modules in web applications.
 
 ### Wasocaml
 [Wasocaml](https://github.com/OCamlPro/wasocaml) is an OCaml compiler that targets WebAssembly GC (WASM-GC). Developed by OCamlPro, it provides:
@@ -36,6 +39,9 @@ Visit the [wasm_of_ocaml repository](https://github.com/ocaml-wasm/wasm_of_ocaml
 - Optimized performance through the Flambda optimizer
 - Support for functional programming language features in WebAssembly
 - First real-world functional language compiler targeting WASM-GC
+- **31-bit integers** (similar to traditional OCaml bytecode on 32-bit systems)
+
+**Note:** Wasocaml is based on OCaml 4.14 and does not currently support OCaml 5 effects or multicore features.
 
 Wasocaml is ideal when you need direct compilation to WebAssembly with garbage collection support and want to benefit from Flambda optimizations.
 

data/tool_pages/platform/2ct_04_unikernels.md

@@ -6,7 +6,7 @@ description: "Compile OCaml to specialized unikernel targets using MirageOS. Cre
 category: "Compilation Targets"
 ---
 
-OCaml can compile to specialized unikernel targets through [MirageOS](https://mirage.io), a library operating system that creates secure, high-performance single-purpose applications.
+OCaml can compile to specialized unikernel targets through [MirageOS](https://mirage.io), a library operating system that creates secure, single-purpose applications.
 
 ## What are Unikernels?
 
@@ -27,15 +27,18 @@ MirageOS supports compilation to several unikernel backends:
 
 [Solo5](https://github.com/Solo5/solo5) is a sandboxed execution environment that provides multiple deployment options:
 
-- **hvt** (Hardware Virtualized Tender) - Runs on KVM/Linux and bhyve/FreeBSD with minimal overhead
+- **hvt** (Hardware Virtualized Tender) - Runs on KVM/Linux, bhyve/FreeBSD, and vmm/OpenBSD with minimal overhead
 - **spt** (Sandboxed Process Tender) - Runs as a regular Unix process with seccomp sandboxing on Linux
 - **virtio** - Runs on standard virtio-based hypervisors including QEMU/KVM, Google Compute Engine, and OpenStack
 - **muen** - Runs on the Muen Separation Kernel
-- **genode** - Runs on the Genode OS framework
+- **xen** - Runs on the Xen hypervisor as a paravirtualized guest (PVHv2 mode)
 
-### Xen
+### Unikraft Targets
 
-- **xen** - Runs on the Xen hypervisor as a paravirtualized guest (PVHv2 mode)
+[Unikraft](https://unikraft.org) is a general Unikernel Development Kit that can be used as a MirageOS backend:
+
+- **unikraft-qemu** - Runs on the [QEMU](https://www.qemu.org/) virtual machine monitor
+- **unikraft-firecracker** - Runs on the [Firecracker](https://firecracker-microvm.github.io/) virtual machine monitor
 
 ### Unix
 
@@ -45,14 +48,16 @@ MirageOS supports compilation to several unikernel backends:
 
 **Use Unix** when you're developing and testing your unikernel locally.
 
-**Use hvt** when you want lightweight virtualization on Linux or FreeBSD with KVM or bhyve.
+**Use hvt** when you want lightweight virtualization on Linux, FreeBSD, or OpenBSD with KVM, bhyve, or vmm.
 
 **Use virtio** when deploying to cloud providers like Google Compute Engine, or standard KVM/QEMU setups.
 
 **Use spt** when you want process-level isolation on Linux without full virtualization.
 
 **Use Xen** when deploying to Xen-based infrastructure or cloud providers that support Xen.
 
+**Use Unikraft targets** when you want to use the Unikraft unikernel framework with QEMU or Firecracker.
+
 ## Getting Started
 
 To start building unikernels with OCaml, visit the [MirageOS Getting Started Guide](https://mirage.io/docs/). The guide walks you through: