1.1 --- a/pkg/devices/lib/hdmi/src/jz4780.cc Mon Feb 26 16:18:13 2024 +0100
1.2 +++ b/pkg/devices/lib/hdmi/src/jz4780.cc Tue Feb 27 17:20:03 2024 +0100
1.3 @@ -54,8 +54,7 @@
1.4 #include <l4/sys/rcv_endpoint.h>
1.5 #include <l4/util/util.h>
1.6
1.7 -#include <pthread.h>
1.8 -#include <pthread-l4.h>
1.9 +#include <systypes/thread.h>
1.10
1.11 /*
1.12 I2C pins:
1.13 @@ -763,7 +762,7 @@
1.14 uint8_t int_status;
1.15 l4_msgtag_t tag;
1.16
1.17 - err = l4_error(l4_rcv_ep_bind_thread(_irq, pthread_l4_cap(pthread_self()), 0));
1.18 + err = l4_error(l4_rcv_ep_bind_thread(_irq, get_current_thread(), 0));
1.19
1.20 if (err)
1.21 return err;