<> <> <> <<>> micro -u -o kernelSaveDefs -r kernel3