Infrastructure and tools, for use as a sub-project inside other repositories belonging to the DroidNet project.