search

f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
682 stars 145 forks source link

Add mem0 start pointer in linker script #104

Closed slpbaby closed 10 years ago

slpbaby commented 10 years ago

Add mem0_start variable, so mempool declaration can use it as MEM0 start address.

jserv commented 10 years ago

Should we follow the consistent naming for such regions named after mem?

@georgekang, how do you think?

georgekang commented 10 years ago

I think it is more reasonable and convenient for this naming, memx_start is a reference for start address of memory region x, and we do not need to hard code for this address,
For example, in stm32f1, start address for mem0 is kernel_ahb_end, however, it is user_bss_end for stm32f4,
Besides, mem1 shoule also follow this rule.

slpbaby commented 10 years ago

So I will add mem1_start in memory.c and ld files. Any else?

jserv commented 10 years ago

Per @georgekang's suggestions, this request should be reworked.

slpbaby commented 10 years ago

Done as @georgekang. Thanks and welcome for suggestion.