How to calculate the TCB size

JaeminPark jmpark81 at ...9...
Tue Dec 22 12:39:40 CET 2015

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?

More information about the users mailing list