overridepath = [ THISTREE , FULLTREE ]

DomainImport("SpinPublic","kernel","spincore",overridepath)
DomainImport("SpinTrusted","kernel","spincore",overridepath)
DomainImport("FileSystem","user/fs","fscore",overridepath)
DomainImport("UserSpaceThread","user/thread","threadcore",overridepath)
DomainImport("Device","user/dev","devcore",overridepath)
DomainImport("SpinUnixRunTime","user/urt","urtcore",overridepath)
DomainImport("Exec","user/thread","exec",overridepath)
DomainImport("Shell","user/shell", "shellcore", overridepath)
DomainImport("VMCore","user/vm", "vmcore", overridepath)
DomainImport("Space","user/vm", "space", overridepath)
DomainImport("Sieg","user", "sieg", overridepath)
DomainImport("Sphinx","user", "sphinx", overridepath)

DomainImport("IpServer", "user/net","ip",overridepath)
DomainImport("NetDb", "user/net","dns",overridepath)
DomainImport("SpinUnixNet","user/urt","net",overridepath)
DomainImport("NetDev","user/dev","netdev",overridepath)
DomainImport("FastBuffer","user","fastbuffer",overridepath)

implementation(TransOS)
implementation(RawIO)
implementation(TransDaemon)
implementation(HostID)
module(SpinRPC)
module(TransPager)
module(TransCache)
module(TransProc)
implementation("TransSyscall")
CommandModule(TransCmd)
