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