Index: kernel/arch/riscv64/src/drivers/ucb.c
===================================================================
--- kernel/arch/riscv64/src/drivers/ucb.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/riscv64/src/drivers/ucb.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
@@ -65,5 +65,5 @@
 outdev_t *htifout_init(void)
 {
-	outdev_t *htifdev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
+	outdev_t *htifdev = malloc(sizeof(outdev_t));
 	if (!htifdev)
 		return NULL;