I've already bought both the codecs and they are enabled:
pi@raspberrypi:~/tvheadend $ vcgencmd codecenabled MPG2
MPG2=enabled
pi@raspberrypi:~/tvheadend $ vcgencmd codec_enabled WVC1
WVC1=enabled
what else could it be?
by the way, I've already built TVHeadend twice but it never starts as service. I get the following error: pi@raspberrypi:~/tvheadend $ sudo service tvheadend start
Job for tvheadend.service failed. See 'systemctl status tvheadend.service' and 'journalctl -xn' for details.
pi@raspberrypi:~/tvheadend $ systemctl status tvheadend.service
● tvheadend.service - (null)
Loaded: loaded (/etc/init.d/tvheadend)
Active: failed (Result: exit-code) since Sat 2016-10-01 09:28:55 UTC; 43s ago
Process: 3524 ExecStart=/etc/init.d/tvheadend start (code=exited, status=203/EXEC)
and when I manually start TVHeadend it says
2016-10-01 09:27:17.328 [ NOTICE] START: HTS Tvheadend version 0.0.0-unknown started, running as PID:3455 UID:1000 GID:1000, CWD:/home/pi/tvheadend CNF:/home/pi/.hts/tvheadend
_
Anyway TVHeadend works (as I said SD channels work with Kodi on the same PI and SD/HD channels work with VLC on my laptop) so I would first focus on the problem with the HD channels with Kodi (which is my main goal) and then eventually I will figure out what's wrong with my tvheadend build