f9micro / f9-kernel

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

update bitmap location in linker script #16

Closed arcbbb closed 11 years ago

arcbbb commented 11 years ago

To fix #10, my idea is to have 2 different bitmap memory section. One supports bit-band, while the other doesn't. According to CONFIG_BITMAP_BITBAND, macro __BITMAP gives the appropriate attribute, but this would complicate mempool and the linker script with many different _start and _end. Any comments are appreciated.