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

Introduction, pp.4,6: regular/normal/typical operating system #54

Closed
nicopal opened this issue May 9, 2019 · 2 comments
Closed

Introduction, pp.4,6: regular/normal/typical operating system #54

nicopal opened this issue May 9, 2019 · 2 comments
Assignees
@ncamwing
Labels
ready to close Ready for WG chairs to verify and close

Comments

@nicopal
Copy link

nicopal commented May 9, 2019 •
edited
Loading

Similar to issue #53, the use term for the (de-facto) Rich Execution Environment is used inconsistently - either "regular", or "normal", or "typical" (p.6) operating system.

Suggestion: adopt same terminology throughout the document.
@nicopal nicopal changed the title Introduction, p.2: regular/normal operating system Introduction, p.4: regular/normal operating system May 9, 2019
@nicopal nicopal changed the title Introduction, p.4: regular/normal operating system Introduction, pp.4,6: regular/normal/typical operating system May 9, 2019
@mingpeiwk
Copy link
Collaborator

Agreed, thanks, will update the doc.

@dthaler
Copy link
Collaborator

dthaler commented Nov 12, 2019

See proposed text in #71

@dthaler dthaler self-assigned this Nov 23, 2019
@dthaler dthaler added the have proposed text Ready for other editors to review and merge if ok label Nov 23, 2019
dthaler added a commit that referenced this issue Dec 7, 2019
@dthaler
Merge pull request #71 from dthaler/terms
80c85bd 
Proposed fixes for issues #53, #54, #55, and #68
@dthaler dthaler added ready to close Ready for WG chairs to verify and close and removed have proposed text Ready for other editors to review and merge if ok labels Dec 7, 2019
@dthaler dthaler assigned ncamwing and unassigned dthaler Dec 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ncamwing ncamwing

Labels
ready to close Ready for WG chairs to verify and close
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@nicopal @dthaler @ncamwing @mingpeiwk @tireddy2