1. © 2012 Sirrix AGApplying a Security Kernel Frameworkto Smart Meter Gateways Michael Gröne, Marcel Winandy 1 2. Introduction: The Smart Grid Household ComputerSolar panel…