1.1 --- a/pkg/devices/lib/hdmi/src/jz4780.cc Wed Feb 21 00:33:55 2024 +0100
1.2 +++ b/pkg/devices/lib/hdmi/src/jz4780.cc Fri Feb 23 22:52:35 2024 +0100
1.3 @@ -51,8 +51,12 @@
1.4 #include <l4/devices/lcd-jz4740-config.h>
1.5
1.6 #include <l4/sys/irq.h>
1.7 +#include <l4/sys/rcv_endpoint.h>
1.8 #include <l4/util/util.h>
1.9
1.10 +#include <pthread.h>
1.11 +#include <pthread-l4.h>
1.12 +
1.13 /*
1.14 I2C pins:
1.15
1.16 @@ -759,6 +763,11 @@
1.17 uint8_t int_status;
1.18 l4_msgtag_t tag;
1.19
1.20 + err = l4_error(l4_rcv_ep_bind_thread(_irq, pthread_l4_cap(pthread_self()), 0));
1.21 +
1.22 + if (err)
1.23 + return err;
1.24 +
1.25 do
1.26 {
1.27 tag = l4_irq_receive(_irq, L4_IPC_NEVER);