user.jsでOSに応じて分岐させて

if(os){
user_pref("hoge", foo);
}else{
user_pref("hoge", bar);
}

こういう感じで書きたいんだが無理っぽい。
userChrome.jsでやればできます？

それにOSの判定の仕方も分からない。
参考になるコードとかありませんか？