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

New Xen core platform stack #23

Merged
merged 11 commits into from
Oct 15, 2020
Merged

New Xen core platform stack #23

Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
e6df555
Add Xen public API headers
mato Jun 8, 2020
5bb9bc5
New Xen core platform stack
mato Jul 24, 2020
528d6c2
Reinstate OS.Lifecycle.await_shutdown_request
mato Jul 25, 2020
94372da
Use a separate virtual memory range for importing grant mappings
mato Oct 5, 2020
ab32449
Hook up OS.MM.Heap_pages.{total,used}
mato Oct 5, 2020
2cb0ae8
opam: Depend on solo5-bindngs-xen >= 0.6.7
mato Oct 7, 2020
003ef7d
Travis: Update build runes
mato Oct 12, 2020
589d1b1
opam: Update arch/os availability
mato Oct 12, 2020
fc26c26
gnttab: Use #define rather than static const
mato Oct 12, 2020
08cd701
Fix declaration of bmap_allocator_t
mato Oct 13, 2020
9fe3875
Use a Makefile to build libmirage-xen_bindings.a
mato Oct 14, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 0 additions & 21 deletions bindings/dune
View file
Open in desktop

This file was deleted.

191 changes: 0 additions & 191 deletions bindings/eventchn_stubs.c
View file
Open in desktop

This file was deleted.

23 changes: 0 additions & 23 deletions bindings/exit_stubs.c
View file
Open in desktop

This file was deleted.

Loading