(* global activation for non-commercial Raspberry Pi usage *)
raspberrypi	4801-62204-12672	1001-1010-456789	4810-672-656:4
