configuration: architecture dependent types