docs: function() {
        var categoriesDict = {};
        this.device.addCategoriesToDict(categoriesDict);
        this.kernel.addCategoriesToDict(categoriesDict);
        for (var pid in this.processes)
          this.processes[pid].addCategoriesToDict(categoriesDict);
  
        this.categories = [];
        for (var category in categoriesDict)
          if (category != '')
            this.categories.push(category);
      }