Re: [Mono-dev] [Mono-devel-list] Operating System in C# Project

2006-10-30 Thread Victor Costan
Hi, Mauricio and Brian! To everyone else -- I'm sending this to the entire list so that people that might be interested in see there's more interest. I'm interested in the managed OS idea. I've written some thoughts about this some time ago, just search for my thoughts through the archive.

Re: [Mono-dev] [Mono-devel-list] Operating System in C# Project

2006-10-30 Thread Victor Costan
I would like to conjecture that a good MSIL - native compiler work make the C# memory management code execute at the same speed as compiled C code. After all, C code gets converted to an intermediate language too, as part of the compilation. Both methods express the same computations, so it should

Re: [Mono-dev] [Mono-devel-list] Operating System in C# Project

2006-10-30 Thread Victor Costan
Two issues come to mind: 1) C# and J# are registered by Microsoft. Let's make sure the # can't cause trouble :) 2) You don't know if this'll work or tank, so I suggest using sf.net, and getting free project hosting from them, at least for a while. Either way, please let us know how this is

Re: [Mono-dev] [Mono-devel-list] Operating System in C# Project

2006-10-15 Thread Victor Costan
Hi, guys! I've been thinking of something similar. I've seen a Singularity presentation at MIT, and it seems to me that they're placing a lot of focus on static verification -- when they talked to us, they were trying to make driver contracts, so that drivers can be verifiable too. I think

[Mono-dev] Looking for pointers on loading an AOT (pre-JITted) binary

2006-08-19 Thread Victor Costan
internals. Thank you very much for reading this, Victor Costan ___ Mono-devel-list mailing list Mono-devel-list@lists.ximian.com http://lists.ximian.com/mailman/listinfo/mono-devel-list