hermit-os
diff --git a/‎Cargo.lock‎
Lines changed: 3 additions & 2 deletions b/‎Cargo.lock‎
Lines changed: 3 additions & 2 deletions
diff --git a/‎Cargo.toml‎
Lines changed: 0 additions & 2 deletions b/‎Cargo.toml‎
Lines changed: 0 additions & 2 deletions
@@ -210,8 +210,6 @@ exclude = [
 ]
 
 [patch.crates-io]
-# FIXME: remove once merged: https://github.com/rcore-os/trapframe-rs/pull/16
-trapframe = { git = "https://github.com/hermit-os/trapframe-rs", branch = "global_asm" }
 safe-mmio = { git = "https://github.com/hermit-os/safe-mmio", branch = "be" }
 
 [profile.profiling]
Original file line number	Diff line number	Diff line change
`@@ -210,8 +210,6 @@ exclude = [`
`210`	`210`	`]`
`211`	`211`
`212`	`212`	`[patch.crates-io]`
`213`		`-# FIXME: remove once merged: https://github.com/rcore-os/trapframe-rs/pull/16`
`214`		`-trapframe = { git = "https://github.com/hermit-os/trapframe-rs", branch = "global_asm" }`
`215`	`213`	`safe-mmio = { git = "https://github.com/hermit-os/safe-mmio", branch = "be" }`
`216`	`214`
`217`	`215`	`[profile.profiling]`