giraldeau/linux-config

Configurations for the linux kernel