Skip to content
Permalink
Browse files

remove stored_state field.

  • Loading branch information
pnkfelix committed Nov 15, 2019
1 parent 84e6e3d commit 1e6f3af833a5e84f94fefccaacc41cc473af1a55
Showing with 0 additions and 3 deletions.
  1. +0 −3 tock/kernel/src/lib.rs
@@ -2809,9 +2809,6 @@ pub struct Process<'a, C: 'static + Chip> {

header: tbfheader::TbfHeader,

stored_state:
Cell<<<C as Chip>::UserspaceKernelBoundary as UserspaceKernelBoundary>::StoredState>,

state: Cell<State>,

fault_response: FaultResponse,

0 comments on commit 1e6f3af

Please sign in to comment.
You can’t perform that action at this time.