Re: camlSys__entry vs. FreeBSD kmod

[PALI Gabor Janos <pgj@xxxxxxx>]

On Wed, Jul 11, 2012 at 03:23:30PM +0100, Anil Madhavapeddy wrote:
> the logic is in the OS.Main.run module in mirage-platform (which implements 
> an OS
> module for either POSIX or Xen at the moment, and will have an extra
> directory for kFreeBSD with your kernel-specific bindings in it).

Right, I then continue with the investigation of that.


> Summary: the callbacks working and executing code in the kernel is a very 
> good thing! :)

Yeah :-)

By the way: is there some de-initialization routine for the caml run-time?
After each kernel module unload, I got this fancy message:

Warning: memory type caml leaked memory on destroy (10 allocations, 1581136
bytes leaked).