Разработчик написал верификатор eBPF для ESP32 — и ядро Linux показало, где он ошибся

Автор рассказывает, как из подарочного набора с ESP32 — датчиков, реле, светодиодов и дисплея — он собрал сначала обычный термостат, а затем решил пойти дальше и написать верификатор eBPF для микроконтроллера. Идея нетипичная: eBPF традиционно ассоциируется с ядром Linux и серверной инфраструктурой, а не с embedded-платформами.

По ходу работы выяснилось, что ядро Linux устроено сложнее, чем предполагала наивная модель автора, и именно оно «объяснило», где логика верификатора расходится с реальностью. Это классический сюжет для embedded-разработки: попытка перенести серверные абстракции на микроконтроллеры вскрывает ограничения и по памяти, и по модели исполнения.

Материал будет интересен инженерам, работающим с eBPF, безопасностью и embedded-системами, а также тем, кто следит за попытками унифицировать программные стеки между сервером и устройствами. Полный разбор — на Хабре.