Re: How to calculate the TCB size

2016-01-19 Thread Norman Feske
Hello, >> 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? > > By default we calculate our LOC values via 'sloccount ' called > for each source directory that is used. Of course, this way you have to

Re: How to calculate the TCB size

2016-01-19 Thread Martin Stein
Hi Jaemin, Sorry for the delayed answer. Unfortunately, I overlooked your question. Am 22.12.2015 um 12:39 schrieb 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/li

How to calculate the TCB size

2015-12-22 Thread 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 .