so, in the config file, we have something like: extension pcbios extension vgabios extension elfboot and the system linkes these in via src/extionsions/whatever. They are each run in turn. reasonable? ron