Genode Compilation Flags - Optimization

Stefan Kalkowski stefan.kalkowski at ...1...
Thu Jun 23 12:45:03 CEST 2016


On 06/23/2016 11:42 AM, Martin Stein wrote:
> You can try compiling it by modifying CC_OLEVEL in your
> <build_dir>/etc/tools.conf (by the default, this file doesn't exist, so
> you would have to create it):
> 
> CC_OLEVEL = -O3

As supplement: this will change the optimization flag for all Genode
components including the kernel.
If you want to change it for a component only, add above line into its
target.mk file instead of the global <build_dir>/etc/tools.conf file.

Regards
Stefan

> 
> You can verify if it is applied by adding VERBOSE= to your make call:
> 
> VERBOSE= make <target>
> 
> Cheers,
> Martin
> 
> Am 23.06.2016 um 10:32 schrieb Tiago Brito:
>> Hi, I've been trying to benchmark two similar programs, one running in
>> the NW and another running in the SW of a i.MX53 QSB. I've adapted the
>> tz_vmm example to run the SW program and the NW program is running on
>> top of Linux.
>>
>> I compiled my NW program with the -O3 optimization flag and I'm
>> wondering if the code in tz_vmm can also be compiled with this flag in
>> order to have the same optimization flag in both scenarios.
>>
>> If it's possible, what do I have to change in order to achieve this?
>>
>> Thanks in advance! Tiago
>>
>>
>> ------------------------------------------------------------------------------
>> Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
>> Francisco, CA to explore cutting-edge tech and listen to tech luminaries
>> present their vision of the future. This family event has something for
>> everyone, including kids. Get more information and register today.
>> http://sdm.link/attshape
>>
>>
>>
>> _______________________________________________
>> genode-main mailing list
>> genode-main at lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>
> 
> ------------------------------------------------------------------------------
> Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
> Francisco, CA to explore cutting-edge tech and listen to tech luminaries
> present their vision of the future. This family event has something for
> everyone, including kids. Get more information and register today.
> http://sdm.link/attshape
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ ยท http://genode.org/




More information about the users mailing list