tree d9f17a2860a64e0dcb3b2b5abf5e01dc089c534d
parent 20c833210b29883c207fa02e3cb1453dbdc611b0
author Lorenzo Bettini <bettini@dsi.unifi.it> 1356013019 +0100
committer Lorenzo Bettini <bettini@dsi.unifi.it> 1356013019 +0100

Kepler target platform definition

Change-Id: I2617840aaf30dc97754910ac0e0f8bc00deac45d