SPIN Platform Documentation
February 5, 1997
Platforms
SPIN currently supports two target architectures: ALPHA_SPIN and
IX86_SPIN. Each of these is referred to as BASETARGET in the
Makefiles.
Under an architecture XX, several platforms may be supported.
These are:
- XX_PROF
- Profiling
- XX_REF
- Reference counting
- XX_PROF_REF
- Profiled, with reference counting
- XX_HACK
- Intended for hacking
The binaries for a platform are placed in a directory named after the
platform. The binaries for each of these platforms is different;
therefore, having multiple platforms allows us to better manage
different binary trees. If you want to use XX_HACK, you'll have to go
in and modify some critical files:
- m3build templates
- modify local/m3support/m3build/templates/XX_HACK to call the
compiler with the appropriate arguments
- kernel configuration
- modify kernel/sal/BASETARGET/conf/XX_HACK to create the kernel
with the correct configuration
whsieh@cs.washington.edu