[build]
rustflags = [
  # Kernel should preserve floating-point registers
  "-Csoft-float",
]
