Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 1a7bed9c4496fb6e6e722da807c71b917b9617ce
  1. 1a7bed9 platsupport: s/ZF_LOGF/ZF_LOGE in serial init by Anna Lyons · 7 years ago
  2. c75aff4 libsel4utils: Remove long running cnode cap deletion by Adrian Danis · 7 years ago
  3. daa3772 SELFOUR-1283: Use arch include dir and include sel4_arch from there by Anna Lyons · 7 years ago
  4. 78c439e SELFOUR-1283: Include arch vspace.h from top level by Anna Lyons · 7 years ago
  5. f61c0d5 seL4platsupport: Use strtol instead of sscanf to parse hex by Kofi Doku Atuah · 7 years ago
  6. 6ee8ecb libsel4utils: Delete all caps in process cspace by Summer Li · 7 years ago
  7. c4e0428 sel4platsupport: am355x: Silence build warnings by Kofi Doku Atuah · 7 years ago
  8. ebee53e minor: use calloc instead of malloc by Anna Lyons · 7 years ago
  9. 6e844e1 Minor build warning fixes by Kofi Doku Atuah · 7 years ago
  10. d1ed16a sel4platsupport: TK1: Support Mux and GPIO dependency changes on TK1 by Kofi Doku Atuah · 7 years ago
  11. 840e711 libsel4vmm: cmake build definitions by Adrian Danis · 7 years ago
  12. c9bc34c Mark `inline` function as `static` by Adrian Danis · 7 years ago
  13. 239f6dc Provide ep to seL4_TCB_SetSchedParams for RT by Anna Lyons · 7 years ago
  14. 0338360 Simulate seL4_TCB_Configure behaviour on master for RT by Anna Lyons · 7 years ago
  15. aa5138e use api_tcb_set_sched_params for rt compatability by Anna Lyons · 7 years ago
  16. 61c16cf Remove timeout_ep from set space by Anna Lyons · 7 years ago
  17. b9927ab SELFOUR-1221: Support elf segment frame sharing by Kent McLeod · 7 years ago
  18. 7d67784 sel4utils: Add comments and fields to elf_region_t by Kent McLeod · 7 years ago
  19. 6a35623 sel4utils: remove duplicate entry_point code by Kent McLeod · 7 years ago
  20. de4e9f1 sel4utils: split loadable region counting function by Kent McLeod · 7 years ago
  21. ef1d8cc trivial: squash warnings by Anna Lyons · 7 years ago
  22. 2c73894 sel4utils: only set prio/mcp if > 0. by Anna Lyons · 7 years ago
  23. 0cc01ec SELFOUR-1016: Add api_tcb_set_sched_params helper by Anna Lyons · 7 years ago
  24. 66490e8 SELFOUR-1016: update for TCB API change by Anna Lyons · 7 years ago
  25. c1d58e5 simple: Remove arch_info interface by Adrian Danis · 7 years ago
  26. 2244d9a libsel4utils: Helper for parsing simple bootinfo for tsc frequency by Adrian Danis · 7 years ago
  27. 9df65d8 libsel4test: Reset log if benchmarks are enabled by Hesham Almatary · 7 years ago
  28. 724576a libsel4bench: Support dangerous MSR interface by Adrian Danis · 7 years ago
  29. beec000 libsel4bench: Abstraction for reading/writing msr by Adrian Danis · 7 years ago
  30. 446bccd libsel4bench: Remove unused function by Adrian Danis · 7 years ago
  31. 8338a1b libsel4utils: Match new kernel PPTR_USER_TOP by Adrian Danis · 7 years ago
  32. 1ba333a libsel4bench: Use kernel exported PMC by Adrian Danis · 7 years ago
  33. ee63bf6 libsel4utils: s/PRIiPTR/PRIuPTR in snprintf that formats unsigned words by Hesham Almatary · 7 years ago
  34. bf05faa sel4utils: Only call SetAffinity if smp mode by Kent McLeod · 7 years ago
  35. 8ba9fcd sel4utils: add function to set thread affinity by Anna Lyons · 7 years ago
  36. f44c961 libsel4utils: Match new kernel PADDR_TOP by Adrian Danis · 7 years ago
  37. 9b6444b Don't add files that don't exist by Claudia Tu · 7 years ago
  38. 4f16942 Fix libsel4bench cmake to work with armv7e by Claudia Tu · 7 years ago
  39. d18e4ba cmake changes for commit 297f2a by Claudia Tu · 7 years ago
  40. 042c33f Fix incorrect constant in aarch64 PMU code by Anna Lyons · 7 years ago
  41. 06455b5 sel4platsupport: correctly mask bit by Anna Lyons · 7 years ago
  42. c562ec2 Fix serialserver config definition by Kent McLeod · 7 years ago
  43. 562c9d1 Add time_server sources to cmake by Kent McLeod · 7 years ago
  44. 3711f43 SELFOUR-1169: libsel4vmm: Proper CR emulation and enabling of guest paging by Adrian Danis · 7 years ago
  45. 9562b3e libsel4vmm: Avoid walking PAE structures by Adrian Danis · 7 years ago
  46. c4fce3c libsel4vmm: Provide extra exit debugging information by Adrian Danis · 7 years ago
  47. f1ab778 libsel4vmm: Document additional PPC bits by Adrian Danis · 7 years ago
  48. d487c81 libsel4vmm: Document PPC bit by Adrian Danis · 7 years ago
  49. bad1c35 libsel4bench: symlink between aarch32 -> arm_hyp by Anna Lyons · 7 years ago
  50. b5ad7c5 Add missing include by Kent McLeod · 7 years ago
  51. 572acb0 Cortex-A57: add events.h by Anna Lyons · 7 years ago
  52. 3a8ab34 libsel4bench: use ccnt_t as appropriate by Anna Lyons · 7 years ago
  53. 297f2ad libsel4bench: armv8 aarch64 support by Anna Lyons · 7 years ago
  54. db435f0 Fix bug in vka_arm_mode_get_object_size on aarch64 by Anna Lyons · 7 years ago
  55. 3f5bdc3 Add sel4muslcsys_register_stdio_write_fn by Kent McLeod · 7 years ago
  56. 6610d34 Modify behaviour of __arch_* weak symbols by Kent McLeod · 7 years ago
  57. 1fc97c1 Provide __arch_write by Anna Lyons · 7 years ago
  58. 9571e8d libsel4test: Add timeout and a util function for RPC Timer requests by Hesham Almatary · 7 years ago
  59. ad5cc8a SELFOUR-1103 add cmake support for libsel4bench by Claudia Tu · 7 years ago
  60. ce77936 sel4serialserver: name the parent thread by Anna Lyons · 7 years ago
  61. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  62. ac3742d sel4utils: Provides wrapper for creating guards by Adrian Danis · 7 years ago
  63. 63967dc sel4utils: Expand API wrapping helpers by Adrian Danis · 7 years ago
  64. 44542c1 SELFOUR-1056: add support for periodic requests by Hesham Almatary · 7 years ago
  65. 8e3628e SELFOUR-1056: add util enum to define communication codes between sel4test-test and sel4test-driver by Hesham Almatary · 7 years ago
  66. ba3c28d sel4test: Declare env struct formally in libsel4test by Adrian Danis · 7 years ago
  67. b71933c sel4test: Declare interfaces with more abstract notion of environment type by Adrian Danis · 7 years ago
  68. 6e3be57 sel4platsupport: Prevent loss of IRQs when setting up timers by Adrian Danis · 7 years ago
  69. 0e96709 SELFOUR-1135 add empty implementation for sel4platsupport_new_arch_ops by Claudia Tu · 7 years ago
  70. e8d14d7 libsel4utils: Remove bitrotted client_server_vspace by Adrian Danis · 7 years ago
  71. 421915c libsel4debug: Provide sel4_arch agnostic safe printf function by Adrian Danis · 7 years ago
  72. 75e258f output clients in different colors by Anna Lyons · 7 years ago
  73. f68b333 SELFOUR-1130 Add api_nbsendwait by Claudia Tu · 7 years ago
  74. e8b823f trivial: add UNUSED to unused parameter by Anna Lyons · 7 years ago
  75. c28e0d4 sel4platsupport: add sel4platsupport_new_arch_ops by Anna Lyons · 7 years ago
  76. ef21299 sel4platsupport: migrate malloc ops to platsupport by Anna Lyons · 7 years ago
  77. 30a96ca Merge branch zcu102-7.0.0 into master by Adrian Danis · 7 years ago
  78. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  79. f6e1f6d Add missing header guards by Anna Lyons · 7 years ago
  80. f53b07c libsel4utils: Explicitly cast integer to pointer type by Adrian Danis · 7 years ago
  81. 5f4ecbd libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops by Adrian Danis · 7 years ago
  82. bf8d18a libsel4platsupport: Fix stray character in comment by Adrian Danis · 7 years ago
  83. 002d6d9 Initialise stack declared ps_io_ops_t to zero by Adrian Danis · 7 years ago
  84. f585174 sel4test: Make test_type a word to ensure alignment by Anna Lyons · 7 years ago
  85. 17dde25 sel4test: make test name not const by Anna Lyons · 7 years ago
  86. 8b90823 Make testcase aligned on both 32- and 64-bit by Anna Lyons · 7 years ago
  87. 8947e12 sel4utils: use provided fault ep, allow cptr by Anna Lyons · 7 years ago
  88. 7c8819c sel4utils: only free owned_ep on process destroy by Anna Lyons · 7 years ago
  89. 2d0006f Add serial_server_flush to client.h by Anna Lyons · 7 years ago
  90. d9dfbe7 SELFOUR-1083 rename DEFINE_TEST_MAYBE to DEFINE_TEST by Claudia Tu · 7 years ago
  91. c05c7f4 Style fixes for libsel4serialserver by Claudia Tu · 7 years ago
  92. 26ce605 Use pragma in elf.h by Claudia Tu · 7 years ago
  93. 9152ea9 SELFOUR-1083 Store name in test case and use C89, add elf_get_section by Claudia Tu · 7 years ago
  94. 32c1bfc SELFOUR-894 run tests selectively based on configs using DEFINE_TEST_MAYBE by Claudia Tu · 7 years ago
  95. 31bc05f sel4utils: add RPC ltimer by Anna Lyons · 8 years ago
  96. f75f87b Add zynqmp include based on zynq7000 ones by Nathan Studer · 8 years ago
  97. c0bd00e sel4utils: helpers for setting 64bit values in mrs by Anna Lyons · 8 years ago
  98. b4aebe2 trivial: use pragma once by Anna Lyons · 8 years ago
  99. 0becd7e libsel4serialserver: Fix build dependencies by Adrian Danis · 7 years ago
  100. 4a22508 SELFOUR-1107 move serial server to own library by Claudia Tu · 7 years ago