ref: 63a970aaae38aac94d512191d860584f2666682b
dir: /src/runtime/config-stm32f4.h/
/*
* Various platform specific configuration.
*/
/*
* Include stdio functions.
* Without this none of the file I/O in System.IO is available.
*/
#define WANT_STDIO 0
/*
* Include ops for floating point arithmetic.
* Without this +,-,* etc will not be available for the Double type.
*/
#define WANT_FLOAT 1
/*
* Include <math.h>
* Without this, exp,sin, etc are not available.
*/
#define WANT_MATH 0
/*
* Include MD5 checksumming code
*/
#define WANT_MD5 0
/*
* Include profiling code
*/
#define WANT_TICK 0
/*
* Process argc, argv
*/
#define WANT_ARGS 0
/*
* Number of bits in a word. Only 32 and 64 are supported.
*/
#define WORD_SIZE 32
/*
* Find First Set
* This macro must be defined.
* It return the number of the least significant bit that is set.
* Numberings starts from 1. If no bit is set, it should return 0.
*/
#define FFS softffs
/*
* This is the character used for comma-separation in printf.
* Defaults to "'".
*/
/* #define PCOMMA "'" */
/*
* Get a raw input character.
* If undefined, the default always returns -1
*/
/* #define GETRAW */
/*
* Get time since some epoch in milliseconds.
*/
/* #define GETTIMEMILLI */
/*
* The ERR macro should report an error and exit.
* If not defined, a generic one will be used.
*/
/* #define ERR(s) */
/* #define ERR1(s,a) */
#define GCRED 0 /* do some reductions during GC */
#define FASTTAGS 1 /* compute tag by pointer subtraction */
#define INTTABLE 1 /* use fixed table of small INT nodes */
#define SANITY 1 /* do some sanity checks */
#define STACKOVL 1 /* check for stack overflow */
#define HEAP_CELLS 1000
#define STACK_SIZE 50
#if 1
#include "stm32f4xx.h"
#define INITIALIZATION
void
main_setup(void)
{
RCC->AHB1ENR |= RCC_AHB1ENR_GPIODEN; // Enable the clock of port D of the GPIO
GPIOD->MODER |= GPIO_MODER_MODER12_0; // Green LED, set pin 12 as output
GPIOD->MODER |= GPIO_MODER_MODER13_0; // Orange LED, set pin 13 as output
GPIOD->MODER |= GPIO_MODER_MODER14_0; // Red LED, set pin 14 as output
GPIOD->MODER |= GPIO_MODER_MODER15_0; // Blue LED, set pin 15 as output
}
void
set_led(int led, int on)
{
GPIOD->BSRR = 1 << (12 + led + (on ? 0 : 16));
}
#endif
int
softffs(uint32_t x)
{
if (!x)
return 0;
int i;
for(i = 1; !(x & 1); x >>= 1, i++)
;
return i;
}