workaroundgmbh/gateway-raspbian-kernel-build

Build configuration for the raspbian Linux kernel used in the Gateway project

Makefile