search

f9micro / f9-kernel

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

Tweak dbg #59

Closed vh21 closed 11 years ago

vh21 commented 11 years ago

Slightly tweak the debug device configuration and add ram-base debug device.