Hello mircopizzichini,
You are correct in the fact that SMAC doesn't currently provide support for 433MHz band.
What you can do is the following:
In RadioUtility.h set the default settings that you need to run @ 433MHz.
You need to calculate the Frf registers value for the 433MHz.
The formula is:
Frf Register= Frf/Fstep
where Fstep=FXosc/2^19
current value:
#define gDefaultRfFreq_c ( 0xE4C000 ) //rf freq 915 MHz (US).
desired value for 433MHz:
#define gDefaultRfFreq_c ( 0x6C4000 ) //rf freq 433 MHz.
If you need to change other parameters such as Fdev, BitRate, and so on you can do it in RadioUtility.h as well.