Manage the memory region state about islet HOT 4 CLOSED

code : link

from islet.

Memory mapping 고려하면,

DELEGATE 상태에서는 stage1 mmu에는 unmapping 상태(Granule에는 기록)

1. RD, REC state로 변경시 stage 1에 mapping
2. DELEGATE 상태로 변경되면 다시 unmapping으로 유지
3. UNDELEGATE 상태로 변경되면 Granule에서 삭제

from islet.

TO-DO

• reference count 가 필요한것인지 재확인
• tf-a-tests에서 Undelegated 상태에서 Delegate 조회하는 command는 fail 처리를 해야될까..
• RD, REC 사용처?에서 tf-a-tests에서는 delegated 상태로 놔두어도 (translation table에 추가 하지 않아도) 현재는 문제없는데... 재확인필요

from islet.

reference count 가 필요한것인지 재확인

specification에 따르면 reference count는 필요에 의해 tf-rmm이 자체 생성한것. 만들어야될 조건은 없음
단 pas는 존재해야함.

tf-a-tests에서 Undelegated 상태에서 Delegate 조회하는 command는 fail 처리를 해야될까..

ipa, ripas 구현이 완료되면 잘못된 state 조회는 panic 발생으로 전환

from islet.