search

f9micro / f9-kernel

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

f9-kernel wiki #151

Closed BaikalHu closed 7 years ago

BaikalHu commented 7 years ago

In http://wiki.csie.ncku.edu.tw/embedded/f9-kernel#overview page:

3.
Base 0x80001000 1000 0000 0000 0000 0001 0000 0000 0000
Size 0x20000000 0010 0000 0000 0000 0000 0000 0000 0000
2^Log2(Base) < Size => Create a fpage with 2^Log2(Base)
Base = 0x80001000 + 0x00001000 = 0x80010000

The last line should be : Base = 0x80001000 + 0x00001000 = 0x80002000.

jserv commented 7 years ago

The website wiki.csie.ncku.edu.tw is not official F9 wiki, and please do submit bug report and software quality specific issues here.

BaikalHu commented 7 years ago

Got it.