/**
 ** MARKER_BEGIN
 ** Auto-generated file, dont modify directly
 ** your changes will be lost !
 **
 ** Generated by DSX on 2012-04-16 07:01:50.158830
 ** by karaoui@debussy
 ** MARKER_END
 **/

#include "srl.h"
#include "srl_private_types.h"



__attribute__((section(".srl_main")))void hw_init()
{
}