Oops, accidentally clicked 'publish' instead of 'edit'... 

Anyway, I definitely would like to see the device infrastructure compiled in to SE mode; as I said, I've been working on this myself, and ran into the same Platform issue (though I did the brute force solution of just putting the Param.Platform in the System class inside an "if buildEnv[FULL_SYSTEM]:").  My goal is to enable building simple devices that actually get used in SE mode, which I suspect (as I mentioned) is different from yours.

However I'm not sure of the benefit of compiling in all the devices when they're not usable; it seems like that just makes the compile time unnecessarily longer.  I can see the value of having this as a step toward integrating SE and FS, but I'm not in favor of committing it until it's actually useful (i.e., until integrated FS and SE actually works).

Even when we do get there, I think we should keep some conditionals in place so that people who really just want SE mode don't have to compile all the devices.  I like the idea of having the ability to compile everything into a single binary (SE and FS, multiple ISAs, multiple coherence protocols, etc.) but if we do get to that point we don't want to require everyone to always compile everything, and I'd say we should start thinking now about how we're going to manage that.  So my guess is we don't want to make all these objects unconditional, we just want to rework the conditions to make SE+FS possible but not mandatory.