Add some platform-generic getters