Hacker News new | ask | show | jobs
by Lifescape 4596 days ago
Yep, got stuck on that step :P

Decided to go with an Arch Vagrant box (Specifically Arch Linux x86_64 (2013-08) from http://www.vagrantbox.es/). Running into issues with make in Step 5:

drivers/thermal/bcm2835-thermal.c:21:23: fatal error: mach/vcio.h: No such file or directory

Has anyone here run into this issue?