Inspired by all those Arduino / ESP8266 / etc. tutorials on controlling a LED from a web page...       Requirements:  - GNU Ada compiler (sudo apt-get install gnat)  - Ada Web Server (sudo apt-get install libaws-bin libaws-doc libaws3.3.2-dev)  - Munts Linux Simple I/O Library (see my post here  about this, User Manual available here )  - LED (with a resistor) on GPIO17   I used as a starting point the "web-block" sample from AWS, changing a couple of things. For dealing with Raspberry Pi's GPIOs I made a simple package, using libsimpleio, of course ;)   I also changed the directory structure, and added to the .gpr project all the libsimpleio related stuff.   The entire project is on github here .