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/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?

By default we calculate our LOC values via 'sloccount <SRC_DIR>' called
for each source directory that is used. Of course, this way you have to
evaluate manually which sources (repos, components, libs, specs) are
used in your scenario. At least, I do not know a way to automate this
step. You may reduce the effort by lower requirements in accuracy. E.g.,
when compiling core for hw_panda you can simply count all in base-hw and
base to get an upper bound.

Cheers,
Martin

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to