Linux platform engineering
Open Source software development
Deployment of complex systems, at scale
Deployments of the GNOME Desktop and customization of GTK applications in environments ranging from corporate workstations through small businesses to embedded devices.
Bespoke Linux Kernel engineering for clients. We have experience optimizing server performance on large enterprise systems, improving drivers for Linux distros on desktop and laptops, and with embedded Linux as found in consumer electronics devices, mobile phones, and tablets.
Particular expertise in diagnosing performance issues in large Java applciations and solving engineering challenges that arise when crossing the boundary between Java code and native C libraries.
We use Haskell for high performance server-side code when reliabiltiy and assured correctness is a requirement.
Source code branches for both the above projects as well as our work on other public codebases.
We deploy Ubuntu Linux both on laptops and desktops, server side in virtual machines, and on embedded systems. We have extensive experience doing custom Debian packaging, backporting updates, fixing usability issues, and improving integration.
Deployment of Red Hat Enterprise Linux in corporate environments, and Fedora for end-users' desktops.