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