Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix typos in Microkit 1.4.1 release notes #265

Merged
merged 1 commit into from
Aug 26, 2024
Merged

Fix typos in Microkit 1.4.1 release notes #265

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions content_collections/_releases/microkit/1.4.1.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,9 @@ This release contains various bug fixes. It does not include any new features.
* Enabled FPU for QEMU RISC-V virt and Pine64 Star64.
* libmicrokit builds with hardware floating point enabled and, while it does not use the FPU,
it means that every object linked with libmicrokit must also build with hardware floating
point enabled. Previously using floating point operations would caused a crash in user-space.
point enabled. Previously using floating point operations would cause a crash in user-space.
* Fixed the loader link address for the MaaXBoard.
* This does mean that if you target the MaaxBoard you will have to loader Microkit images at
* This does mean that if you target the MaaxBoard you will have to load Microkit images at
a different address. See the manual for details.
* Added error checking for overlapping memory regions.
* Included every TCB register in the monitor logs when a fault occurs.
Expand Down