view make/linux/platform_arm @ 5540:a891c53a295b

Renaming RiKind => Kind.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Fri, 08 Jun 2012 23:47:42 +0200
parents b92c45f2bc75
children
line wrap: on
line source

os_family = linux

arch = arm

arch_model = arm

os_arch = linux_arm

os_arch_model = linux_arm

lib_arch = arm

compiler = gcc

gnu_dis_arch = arm

sysdefs = -DLINUX -D_GNU_SOURCE -DARM