Issues while building with Keil/MDK

[maiorfi]

Hi.
I'd like to try to build porting solution with Keil/MDK, in order to get a smaller and eventually faster firmware.

TinyBooter building works fine.

Concerning TinyCLR, I have a couple of issues with regard to signalgenerator library interop code:

Community_Hardware_SignalGenerator_Community_Hardware_SignalGenerator_mshl.cpp", line 89: Error: #434: a reference of type "INT64 &" (not const-qualified) cannot be initialized with a value of type "double"
TINYCLR_CHECK_HRESULT( Interop_Marshal_double( stack, 2, param1 ) );
^

as well as a "double-reference" error regarding GHI.OSHW library:

"c:\MicroFrameworkPK_v4_3\DeviceCode\GHI\Libraries\GHI.OSHW.Native\Managed\stubs\HAL_GHI_OSHW_Native_RLPLite__Procedure.h", line 31: Error: #403: invalid redeclaration of member function "GHI::OSHW::Native::RLPLite_Procedure::Invoke_Helper(CLR_RT_HeapBlock , CLR_RT_TypedArray_float, CLR_RT_TypedArray_INT32, CLR_RT_TypedArray_UINT8, HRESULT &)" (declared at line 29)
static INT32 Invoke_Helper( CLR_RT_HeapBlock pMngObj, CLR_RT_TypedArray_INT32 param0, CLR_RT_TypedArray_INT32 param1, CLR_RT_TypedArray_UINT8 param2, HRESULT &hr );
^

Ah, there also an error about interop code for quadencoer:

"c:\MicroFrameworkPK_v4_3\Community\Target\STM32F4\STM32F4_QuadratureEncoder\STM32F4_QuadratureEncoder_functions.cpp", line 201: Error: #120: return value type does not match the function type
return CLR_E_INVALID_PARAMETER;
^

I posted whole build log here:

https://dl.dropboxusercontent.com/u/7414592/TinyCLR.it/Misc/Ready%20to%20use/ErrorLog.txt

Any suggestions?

Thanks!