#!/bin/bash

CARGO_TARGET_DIR=kernels/X1 cargo build --release --features X1
CARGO_TARGET_DIR=kernels/X2 cargo build --release --features X2
CARGO_TARGET_DIR=kernels/X3 cargo build --release --features X3
CARGO_TARGET_DIR=kernels/X4 cargo build --release --features X4