Date   : Tue, 14 Jan 1997 12:12:36 +0000
From   : deweger <deweger@...>
Subject: Re: read/write *OPT4 parameter

Apparently I was wrong. There is a mention in the AUG
about how to *read* the *OPT4 parameter (boot option)
on a BBC from a disk. This can be done using OSGBPB 4
(or something like that).

Strangely enough, the AUG does not mention a way
to *write* the boot option (nor does is mention a way
to write the media title). Should I do this using
*OPT 4 directly, or is there a system call to do this.

Mark.