I am not able to upload a copy of sabotage linux kernel headers due to debian policy. In the current state it is very unlikly that the official debian linux kernel maintainers are willing to provide the appropriate sanitized headers under the musl libc folder.
Please see also debian bug 764335 for more information on this topic (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=764335) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
