diff --git a/tools/hardware_gen.py b/tools/hardware_gen.py
index 6eb91f384..481fbe2b3 100644
--- a/tools/hardware_gen.py
+++ b/tools/hardware_gen.py
@@ -5,7 +5,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-from __future__ import print_function, division
 import argparse
 import logging
 import yaml
diff --git a/tools/invocation_header_gen.py b/tools/invocation_header_gen.py
index 5bb698041..a2fde07d0 100755
--- a/tools/invocation_header_gen.py
+++ b/tools/invocation_header_gen.py
@@ -8,7 +8,6 @@
 # seL4 Invocation ID Generator
 # ============================
 
-from __future__ import print_function
 from importlib.metadata import version
 from jinja2 import Environment, BaseLoader
 import argparse
diff --git a/tools/syscall_header_gen.py b/tools/syscall_header_gen.py
index 31e25cecf..1edd03fd2 100755
--- a/tools/syscall_header_gen.py
+++ b/tools/syscall_header_gen.py
@@ -8,7 +8,6 @@
 # seL4 System Call ID Generator
 # ==============================
 
-from __future__ import print_function
 from importlib.metadata import version
 from jinja2 import Environment, BaseLoader
 import argparse