Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 878ad37e59e0c16ca24d103144f3976e5a10b1b8 / libsel4vmm
  1. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 7 years ago
  2. c7e4a85 libsel4vmm: GP faults for unknown MSRs by Adrian Danis · 7 years ago
  3. 4b1fc6b libsel4vmm: Exception injection by Adrian Danis · 7 years ago
  4. 222e4c4 libsel4vmm: Entry exception error code state by Adrian Danis · 7 years ago
  5. c751659 libsel4vmm: Use new simple interface by Adrian Danis · 7 years ago
  6. 840e711 libsel4vmm: cmake build definitions by Adrian Danis · 7 years ago
  7. c9bc34c Mark `inline` function as `static` by Adrian Danis · 7 years ago
  8. 3711f43 SELFOUR-1169: libsel4vmm: Proper CR emulation and enabling of guest paging by Adrian Danis · 7 years ago
  9. 9562b3e libsel4vmm: Avoid walking PAE structures by Adrian Danis · 7 years ago
  10. c4fce3c libsel4vmm: Provide extra exit debugging information by Adrian Danis · 7 years ago
  11. f1ab778 libsel4vmm: Document additional PPC bits by Adrian Danis · 7 years ago
  12. d487c81 libsel4vmm: Document PPC bit by Adrian Danis · 7 years ago
  13. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  14. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  15. f6e1f6d Add missing header guards by Anna Lyons · 7 years ago
  16. 055648b libsel4vmm: Use updated seL4_VMEnter syscall by Adrian Danis · 8 years ago
  17. 16e06ee trivial: Ignore variables unused in release builds by Adrian Danis · 8 years ago
  18. 02bafad Mark custom and other licenses for license tool by Anna Lyons · 8 years ago
  19. e8088af Add scheduling context support in seL4_libs by Anna Lyons · 8 years ago
  20. b52a7c4 Sort files to make build reproducible by Luke Mondy · 8 years ago
  21. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  22. 8a9fc3e libsel4vmm: Updating references to vbe info by Adrian Danis · 8 years ago
  23. 01e07ca Change 1 << * to BIT(*) in some cases by Kent McLeod · 8 years ago
  24. c279354 Removed unnecessary variable initializations by Jonas Claeson · 8 years ago
  25. 9214341 Fix licenses by Anna Lyons · 8 years ago
  26. 407565e libsel4vmm: Use standard file operations instead of custom callbacks by Adrian Danis · 8 years ago
  27. 1767516 libsel4vmm: Add missing cpuid emulation by Adrian Danis · 8 years ago
  28. 56cb8a4 Add UNUSED to prevent compiler warnings by Adrian Danis · 8 years ago
  29. 616afef libsel4vmm: Remove #ifdef guard by Adrian Danis · 8 years ago
  30. 18335de libsel4vmm: Pass VESA page information to linux by Adrian Danis · 8 years ago
  31. 6972046 libsel4vmm: Attempt to map protected mode interface for vesa by Adrian Danis · 8 years ago
  32. 6dbbe3e libsel4vmm: Remove stateful callback that could be called multiple times by Adrian Danis · 8 years ago
  33. 91835c4 libsel4vmm: Better error handling when doing vesa pass through by Adrian Danis · 8 years ago
  34. f236260 libsel4vmm: Fix arguments to ZF_LOGE by Adrian Danis · 8 years ago
  35. 779475b libsel4vmm: Unbitrot support for passing VESA screen information by Adrian Danis · 8 years ago
  36. eb9cf21 libsel4vmm: More robust errors and reporting when allocating guest devices by Adrian Danis · 8 years ago
  37. 160189a libsel4vmm: Attempt to allocate device memory from vka by Adrian Danis · 8 years ago
  38. 1690046 sel4vmm: Clear iospace bookkeeping on page unmap by Stephen Sherratt · 8 years ago
  39. 6bf4a78 libsel4vmm: Word sized VMCS operations by Adrian Danis · 8 years ago
  40. e534c1c libsel4vmm: Catch vmresume/vmlaunch errors by Adrian Danis · 8 years ago
  41. 627f3ca libsel4vmm: Use `PAGE_BITS_4M` instead of `seL4_4MBits` by Adrian Danis · 8 years ago
  42. 5d225e2 Change `int` types to `uintptr_t` by Adrian Danis · 8 years ago
  43. ef656e0 Use size portable types in print statements by Adrian Danis · 8 years ago
  44. 7fb43d3 Cast pointer types to `uintptr_t` by Adrian Danis · 8 years ago
  45. e5e6146 SELFOUR-567: use seL4_CapRights_t by Anna Lyons · 9 years ago
  46. b9b0d8f sel4vmm: Relpace "aep" with "notification" by Stephen Sherratt · 8 years ago
  47. 2b227a9 libsel4vmm: Prevent invalid vmcalls halting VMM by Adrian Danis · 8 years ago
  48. f68efe5 sel4vmm: Add check that bit 27 is set in irq badge by Stephen Sherratt · 8 years ago
  49. eabccc1 sel4vmm: Add function for minting notification cap by Stephen Sherratt · 8 years ago
  50. cd97f20 sel4vmm: Unmapping pages from iospaces by Stephen Sherratt · 8 years ago
  51. 531ca89 sel4vmm: Custom unmap function for guest vspace by Stephen Sherratt · 8 years ago
  52. 24a0105 sel4vmm: Freeing vspace reservation for guest ram by Stephen Sherratt · 8 years ago
  53. 59c89c8 Support for vt-x in master branch by Adrian Danis · 9 years ago
  54. e5e2ec2 libsel4vmm: Allocate device memory from allocman for guest memory by Adrian Danis · 9 years ago
  55. 884addc sel4vmm: Modifications to host linux 4.7.2 by Stephen Sherratt · 8 years ago
  56. 4ed4e0a Remove assumptions about the 0 paddr being invalid by Adrian Danis · 8 years ago
  57. 67c869c all: s/LOG_*/ZF_LOG* by Anna Lyons · 9 years ago
  58. 1e147b3 Add 'libsel4vmm/' from commit 'f2ddd61dfdb8da944e85d2ef62cacf2b388f35fd' by Anna Lyons · 9 years ago