[X] The "/RED,TCTL model-checker, simulation-checker, parametric safety-analyzer/version 7_091107/red.7.091107.tar.gz" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

This is a do-it-yourself Linux cellphone project. Includes both and hardware software components.

View all files

Browse Files for TuxPhone

File/Folder Name  Platform Size Date ↑ Downloads Notes/Subscribe
Newest Files
All Files Subscribe

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use