Hi,
Normally you don’t need to include the header files to the project. As long as you have the correct include directories in your project properties, both VisualGDB IntelliSense and the GCC compiler will locate the headers properly. The only reason why they are added normally is that you can easily locate them via Solution Explorer, but as long as you have them in another library, this should not be a problem.
Also if you are using the new MSBuild subsystem, you can add the HAL include directories to the ‘exported settings’ page of your library project and then they will be automatically added to every project that references that library.