Kernel config and environment config for the flight comptuer