Re: camlSys__entry vs. FreeBSD kmod

["Robert N. M. Watson" <robert.watson@xxxxxxxxxxxx>]

On 11 Jul 2012, at 12:52, PALI Gabor Janos wrote:

> On Wed, Jul 11, 2012 at 12:37:43PM +0100, Anil Madhavapeddy wrote:
>> So Sys__entry is the native code entry point for the Sys module, which
>> will execute any top-level phrases. Looking at stdlib/sys.mlp, we have:
>> 
>> external get_config: unit -> string * int * bool = "caml_sys_get_config"
>> external get_argv: unit -> string * string array = "caml_sys_get_argv"
> 
> Yeah, but in my current code, caml_sys_get_argv() is not called at all
> (because I do not have the "(executable_name,argv) = get_argv() line"),
> and the modified stdlib instance lives without it happily.
> 
> Maybe that is the problem?  I did not see any use of having the argv stuff
> in the kernel, as the code running there will not be able to work it anyways.

It depends a bit how you align the program execution model with the kernel 
execution model, but you could imagine OCaml argument information being 
provided by the kernel environment (kenv) which can be specified statically in 
kernel configuration files, via the boot loader, or from the command line once 
the system is booted.

Robert