2 Coding style

Basically we follow the GNU Coding Standards. We define additional conventions for GRUB here.