Talking Tock 60

x86 Architecture Support

May 15th 2025 by Brad

With PR #4385 merged, Tock is now compatible with x86-based platforms! For now, this is only for 32-bit architectures (e.g., i486). Upstream Tock supports a QEMU version of the Q35 machine type.

Trying It Out

You can use the Tock port with QEMU following the instructions here. After you install QEMU, you can:

cd tock/boards/qemu_i486_q35
make run

to get the kernel booted in QEMU.