Delete device names from all the drivers. Move device inslude files from include/sys to include/machine directory. Only include files which have something useful for user layer (like special ioctls codes) should be placed into sys.
Max32 kernel successfully compiled with kconfig utility.
Unused file include/trace.h deleted.
Now kernel can directly run executables generated by gcc.
