How to calculate the TCB size

[JaeminPark]

I’m working with Genode to implement the ARM TZ-based idea.
For evaluation, I’d like to count the line of code of the TCB.
In the build folder, I could find "var/libcache" folder, and there the compiled files for my build configuration could be found.

Do I need to check all files listed in each .d files in “var/libcache” or is there any efficient way to count the number of lines for the TCB?