Implement context switch for RV64 #491

New issue

Copy link

New issue

Copy link

Open

#770

Open

Implement context switch for RV64#491

#770

Copy link

Assignees

Description

ytakano

opened on Jun 10, 2025

Issue body actions

Context switching for RV64:

https://github.com/tier4/awkernel/blob/main/awkernel_lib/src/context/rv64.rs

Examples:

• https://github.com/tier4/awkernel/blob/main/awkernel_lib/src/context/aarch64.rs
• https://github.com/tier4/awkernel/blob/main/awkernel_lib/src/context/x86_64.rs

Tests by using TLA+:

• https://github.com/tier4/awkernel/tree/main/specification/awkernel_lib/src/context/aarch64
• https://github.com/tier4/awkernel/tree/main/specification/awkernel_lib/src/context/x86

Activity

1. ytakano

   added a parent issue on Jun 10, 2025

   • Road to RV64/32 #486
2. ytakano

   assigned

   PeterWrighten

   on Jun 10, 2025
3. PeterWrighten

   added a commit that references this issue on Oct 28, 2026

   feat(RV64): implement context switch

   ...

   381a4af

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

• 
  PeterWrighten

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app