5 files changed, 6 insertions, 8 deletions
diff --git a/libhw/host_alarmclock.c b/libhw/host_alarmclock.c
index 141927c..4f43fc7 100644
--- a/libhw/host_alarmclock.c
+++ b/libhw/host_alarmclock.c
@@ -4,13 +4,13 @@
  * SPDX-License-Identifier: AGPL-3.0-or-later
  */
 
-#include <assert.h>
 #include <errno.h>
 #include <error.h>
 #include <signal.h>
 #include <time.h>
 
 #include <libcr/coroutine.h>
+#include <libmisc/assert.h>
 #include <libmisc/vcall.h>
 
 #define IMPLEMENTATION_FOR_LIBHW_GENERIC_ALARMCLOCK_H YES
diff --git a/libhw/host_net.c b/libhw/host_net.c
index 88bda49..29886f3 100644
--- a/libhw/host_net.c
+++ b/libhw/host_net.c
@@ -6,7 +6,6 @@
 
 #define _GNU_SOURCE     /* for pthread_sigqueue(3gnu) */
 /* misc */
-#include <assert.h>     /* for assert() */
 #include <errno.h>      /* for errno, EAGAIN, EINVAL */
 #include <error.h>      /* for error(3gnu) */
 #include <stdlib.h>     /* for abs(), shutdown(), SHUT_RD, SHUT_WR, SHUT_RDWR */
@@ -20,6 +19,7 @@
 #include <signal.h>     /* for siginfo_t, struct sigaction, enum sigval, sigaction(), SA_SIGINFO */
 
 #include <libcr/coroutine.h>
+#include <libmisc/assert.h>
 #include <libmisc/vcall.h>
 
 #include <libhw/generic/alarmclock.h>
diff --git a/libhw/rp2040_hwspi.c b/libhw/rp2040_hwspi.c
index 4edcdf7..29cfb91 100644
--- a/libhw/rp2040_hwspi.c
+++ b/libhw/rp2040_hwspi.c
@@ -4,11 +4,10 @@
  * SPDX-License-Identifier: AGPL-3.0-or-later
  */
 
-#include <assert.h>
-
 #include <hardware/spi.h>  /* pico-sdk:hardware_spi */
 #include <hardware/gpio.h> /* pico-sdk:hardware_gpio */
 
+#include <libmisc/assert.h>
 #include <libmisc/vcall.h>
 
 #define IMPLEMENTATION_FOR_LIBHW_RP2040_HWSPI_H YES
diff --git a/libhw/rp2040_hwtimer.c b/libhw/rp2040_hwtimer.c
index 54bdab3..69c2a50 100644
--- a/libhw/rp2040_hwtimer.c
+++ b/libhw/rp2040_hwtimer.c
@@ -4,12 +4,11 @@
  * SPDX-License-Identifier: AGPL-3.0-or-later
  */
 
-#include <assert.h>
-
 #include <hardware/irq.h>   /* pico-sdk:hardware_irq */
 #include <hardware/timer.h> /* pico-sdk:hardware_timer */
 
 #include <libcr/coroutine.h>
+#include <libmisc/assert.h>
 #include <libmisc/vcall.h>
 
 #define IMPLEMENTATION_FOR_LIBHW_GENERIC_ALARMCLOCK_H YES
diff --git a/libhw/w5500_ll.h b/libhw/w5500_ll.h
index db66f01..1f578a9 100644
--- a/libhw/w5500_ll.h
+++ b/libhw/w5500_ll.h
@@ -10,12 +10,12 @@
 #ifndef _LIBHW_W5500_LL_H_
 #define _LIBHW_W5500_LL_H_
 
-#include <assert.h> /* for assert(), static_assert() */
 #include <stdint.h> /* for uint{n}_t */
 #include <string.h> /* for memcmp() */
 
-#include <libmisc/vcall.h>  /* for VCALL() */
+#include <libmisc/assert.h> /* for assert(), static_assert() */
 #include <libmisc/endian.h> /* for uint16be_t */
+#include <libmisc/vcall.h>  /* for VCALL() */
 
 #include <libhw/generic/net.h> /* for struct net_eth_addr, struct net_ip4_addr */
 #include <libhw/generic/spi.h> /* for implements_spi */