51,56c51
< {
< #if FULL_SYSTEM //XXX No platform pointer on system objects in SE mode.
< // set the back pointer from the system to myself
< system->platform = this;
< #endif
< }
---
> {}
58,64d52
< Tick
< T1000::intrFrequency()
< {
< panic("Need implementation\n");
< M5_DUMMY_RETURN
< }
<