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.

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

GUId mvar, see #33 #37

Merged
merged 5 commits into from Jul 17, 2019
Merged

GUId mvar, see #33 #37

merged 5 commits into from Jul 17, 2019

Conversation

cfcs
Copy link
Contributor

@cfcs cfcs commented May 14, 2019

Trying this again,

see #32
and #33

ping @yomimono @hannesm @reynir

Copy link
Member

@hannesm hannesm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this looks good to me. it implements a larger chunk of the gui protocol for mirageos + qubes -- which makes it usable from the mirage-framebuffer (iirc) library?

if others are fine (and someone checked that existing applications, as well as mirage-framebuffer are working with these changes), I'd suggest to merge sooner than later -- we can always advance the qubes (gui) support in subsequent PRs.

keycode : int32;
}

(** Dom0 -> VM *)
(* https://github.com/drinkcat/chroagh/commit/1d38c2e2422f97b6bf55580c9efc027ecf9f2721 *)
[%%cstruct
type msg_keypress = {
ty : uint32_t; (* TODO *)
ty : uint32_t;
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
ty : uint32_t;
ty : uint32_t; (* TODO *)

unintentional change!?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hmm, it was intentionally put there because I'm not 100% sure what ty means in this case, but I don't know if it should be in this PR :-/

lib/formats.ml Show resolved Hide resolved
lib/formats.ml Outdated Show resolved Hide resolved
mirage-qubes.opam Outdated Show resolved Hide resolved
@cfcs
Copy link
Contributor Author

cfcs commented Jul 14, 2019

@yomimono @reynir @talex5 Pinging as I think you are the only other users of this :-)
Would one of you have time to skim through this so we can get it merged (and so I can get rid of some of my local pins)?

@cfcs cfcs mentioned this pull request Jul 14, 2019
@yomimono
Copy link
Contributor

Now that the mirage configure -t qubes doesn't automatically connect the GUI, I have less concern about backward compatibility. I'm happy to merge this.

@yomimono yomimono merged commit ed66f92 into mirage:master Jul 17, 2019
@cfcs cfcs deleted the guid_windows_20190514 branch July 17, 2019 01:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants