Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / f077a17fb9f4f857e1b30deaa7eb608f63a9a6e8
  1. f077a17 Add 'libsel4utils/' from commit '3af53102843fda03c107caf83d43685b0a3c4822' by Anna Lyons · 9 years ago
  2. 5fc5d2e Initial commit by Anna Lyons · 9 years ago
  3. 3af5310 Fix: Do not assume an `int` is the same size as a word. by Matthew Fernandez · 9 years ago
  4. e96ad57 Fix typos. by Matthew Fernandez · 9 years ago
  5. f7ddb5d s/AEP/Notification etc by Anna Lyons · 9 years ago
  6. d3fe435 undo optimisation which resulted in allocation of guard pages by Anna Lyons · 9 years ago
  7. bac00f9 Merge pull request #33 from alyons/master by Anna Lyons · 9 years ago
  8. 672a79f Merge branch 'master' of https://github.inside.nicta.com.au/seL4/libsel4utils by Anna Lyons · 9 years ago
  9. 96119f1 trivial: style by Anna Lyons · 9 years ago
  10. 702a89b s/LOG_ERROR/ZF_LOGE by Anna Lyons · 9 years ago
  11. 6d56dd3 implement vspace_share_mem by Anna Lyons · 9 years ago
  12. d255726 Remove vspace_new_pages and vspace_map_pages as these are now implemented by libsel4vspace by Anna Lyons · 9 years ago
  13. ea219b2 convert reserve_range to reserve_range_aligned by Anna Lyons · 9 years ago
  14. 5fa8e44 Remove duplicate #define by Anna Lyons · 9 years ago
  15. 0425002 Merge pull request #32 from alyons/master by Anna Lyons · 9 years ago
  16. 68b17f8 make header guards in mapping.h confirm to standard for the lib by Anna Lyons · 9 years ago
  17. d531d4a remove extra #endif by Anna Lyons · 9 years ago
  18. 14320a5 add seL4_ARCH_Uncached_VMAttributes for x86, use it by Anna Lyons · 9 years ago
  19. 23afd23 remove sel4_supported_page_sizes, replaced by page_sizes in libutils by Anna Lyons · 9 years ago
  20. c02a05a move seL4_ARCH_* definitions into arch directories instead of relying on #ifdefs by Anna Lyons · 9 years ago
  21. 3f0b772 s/ia64/x86_64 by Anna Lyons · 9 years ago
  22. f19bbad improve logging in process.c by Anna Lyons · 9 years ago
  23. 99c6a90 add #ifdef wrappers around kernel benchmark log dump code by Anna Lyons · 9 years ago
  24. dc17e1a refactor Kconfigs to fix library menu display: library configs will no longer be swallowed by previous libraries by Anna Lyons · 10 years ago
  25. d0348e9 Merge pull request #31 from ssherratt/features by Anna Lyons · 10 years ago
  26. 31d93fd Changed comment to refer to CONFIG_MAX_NUM_TRACE_POINTS instead of CONFIG_BENCHMARK. by Stephen Sherratt · 10 years ago
  27. fb5c453 fix WORD_STRING_SIZE by Anna Lyons · 10 years ago
  28. 25e0b65 alter fault_handler to allow handling of more than one fault by Anna Lyons · 10 years ago
  29. c74ac53 only clean up vspace/cspace in process_destroy code if that process created them by Anna Lyons · 10 years ago
  30. 6ee00d7 port sel4utils_create_word_args from sel4test by Anna Lyons · 10 years ago
  31. b6ede0a Merge branch 'move-benchmark.h' of https://github.com/winksaville/libsel4utils into master by Adrian Danis · 10 years ago
  32. e400764 Style fix by Alexander Kroh · 10 years ago
  33. d46d935 irq server: Add wait for IRQ function by Alexander Kroh · 10 years ago
  34. 1dd43aa Use printf. by Wink Saville · 10 years ago
  35. a345486 Move benchmark.h to sel4utils. by Wink Saville · 10 years ago
  36. 4b2dde4 Need stdint.h as uintxx_t are not defined in libsel4. by Wink Saville · 10 years ago
  37. be09977 Rename IA32 architecture to x86 by Adrian Danis · 10 years ago
  38. a8cfaf5 Fix comment typos. by Matthew Fernandez · 10 years ago
  39. bfced26 Expose the seL4 error translations to users. by Matthew Fernandez · 10 years ago
  40. 662529f Remove confusing and incorrect comments and structure. by Matthew Fernandez · 10 years ago
  41. d4914fd added a function to reset all profiling variables by Sean Peters · 10 years ago
  42. 43d8fb5 replaced PROFILE with SEL4UTILS_PROFILE by Sean Peters · 10 years ago
  43. ec56121 added SEL4UTILS_PROFILE config option by Sean Peters · 10 years ago
  44. aa0c360 Free an allocated bootstrap frame if we failed to map it by Adrian Danis · 10 years ago
  45. 5333401 Support kernel PAE paging mode by Adrian Danis · 10 years ago
  46. a75b167 Change mapping functions to support arbitrary paging objects being created instead of a single pagetable by Adrian Danis · 10 years ago
  47. 45af735 Add an argument to sel4utils_run_on_stack. by Matthew Fernandez · 10 years ago
  48. b500ae8 Add abstraction for PageGetAddress. by Matthew Fernandez · 10 years ago
  49. 72117ed Add some missing arch-independence macros. by Matthew Fernandez · 10 years ago
  50. 6d81de2 Actuall NULL terminate the argument list when spawning a process by Adrian Danis · 10 years ago
  51. 2832ed1 Add GetAddress arch-independent #defines. by Matthew Fernandez · 10 years ago
  52. ecccd10 Add arch independent definitions for Page_Remap by Adrian Danis · 10 years ago
  53. 889675f Add const qualifier to thread_name in sel4utils_print_fault_message by Adrian Danis · 10 years ago
  54. edcc9ad Merge pull request #19 from mfernandez/remove-fmt by Anna Lyons · 10 years ago
  55. 2f5265d Remove unnecessary size_t printf format macros. by Matthew Fernandez · 10 years ago
  56. 1b67a31 Merge pull request #18 from adanis/master by Anna Lyons · 10 years ago
  57. 6aa983b Initialize the reservation_head to NULL in a vspace instead of relying on memory having already been zeroed by Adrian Danis · 10 years ago
  58. 45dbf67 added a client server set root function for better abstraction by Sean Peters · 10 years ago
  59. ae8fda2 client server vspace fixed, since pd's were moved into sel4utils_alloc_data_t by Sean Peters · 10 years ago
  60. 41c8b07 Merge pull request #16 from adanis/simple by Anna Lyons · 10 years ago
  61. 91f11a5 Use the simple interface in the irq_server for generating IRQ handler capabilities instead of relying on the existance of the irq control master capability by Adrian Danis · 10 years ago
  62. 0b6b9e4 Merge pull request #15 from mfernandez/goanna by Anna Lyons · 10 years ago
  63. 493c76e Fix missing error case in `sel4utils_get_cs_vspace`. by Matthew Fernandez · 10 years ago
  64. e5c1d91 Fix failure check in `create_reservations`. by Matthew Fernandez · 10 years ago
  65. d7c2ed4 Fix error handling in `dma_alloc`. by Matthew Fernandez · 10 years ago
  66. 718f03c Merge pull request #14 from mfernandez/SELFOUR-203 by Anna Lyons · 10 years ago
  67. f044ec6 Use standard printf format macros. by Matthew Fernandez · 10 years ago
  68. 6b27700 Improve page_dma allocator to support multiple page allocations by Adrian Danis · 10 years ago
  69. 3ec60c8 trivial: style by Anna Lyons · 10 years ago
  70. 1b987fc Make libsel4utils thread creation more extensible by providing an optional config struct by Anna Lyons · 10 years ago
  71. 76e5cae Simple DMA allocator that allocates precisely 1 page at a time by Adrian Danis · 10 years ago
  72. 7317587 Make internal functions static to prevent namespace pollution by Adrian Danis · 10 years ago
  73. d285daf Squash warning. by Matthew Fernandez · 10 years ago
  74. 97be3e3 Implement a very simple dma allocator that relies upon an IOMMU by Adrian Danis · 10 years ago
  75. 55b500a Implement sel4utils vspace reservation move / resize. by Xi Ma Chen · 10 years ago
  76. 84ef8b3 Add helper function to write the tls_base to the current running thread by Adrian Danis · 11 years ago
  77. 00a89af include arch/util in sel4utils/util.h by Anna Lyons · 11 years ago
  78. c7110f0 Squash warning by Adrian Danis · 11 years ago
  79. dd389ab Fix broken sel4utils_tear_down by Adrian Danis · 11 years ago
  80. 14b9253 Connect sel4utils_tear_down to the returned vspace interface by Adrian Danis · 11 years ago
  81. 9aab5ca Handle page tables being allocated / mapped while trying to map a page table by Adrian Danis · 11 years ago
  82. d6c0edb add teardown + other changes from pull request by Anna Lyons · 11 years ago
  83. 837d5e2 refactor to suite new vspace interface iteration by Anna Lyons · 11 years ago
  84. f619b82 merge by Anna Lyons · 11 years ago
  85. 73fc57d Refactor existing spawn_process to use new functions for copying arguments to stack instead of creating a new frame by Adrian Danis · 11 years ago
  86. 57d1a16 Implement new spawn_process_v that creates a system V compliant stack frame for starting a new process by Adrian Danis · 11 years ago
  87. c5f81c1 Put the address of the IPC buffer in the IPC buffer user data instead of forcing the started thread to do it themselves by Adrian Danis · 11 years ago
  88. 0caa7d4 Merge pull request #3 from akroh/master by Alexander Kroh · 11 years ago
  89. 5183de5 irq server: Split message register manipulation for architecture independence. by akroh · 11 years ago
  90. 087c81d irq server: Gracefully handle errors and improve documentation by akroh · 11 years ago
  91. 08a7338 Add an IRQ server for managing IRQs by akroh · 11 years ago
  92. 14870ae Merge pull request #2 from adanis/master by Anna Lyons · 11 years ago
  93. f544be9 Dereference pointer when rounding up, instead of rounding up pointer address by Adrian Danis · 11 years ago
  94. de4a9f6 Merge pull request #1 from alyons/add-readme by Adrian Danis · 11 years ago
  95. 281f0e4 add a readme by Anna Lyons · 11 years ago
  96. ddb8f66 remove unnecessary author tags by Anna Lyons · 11 years ago
  97. b85c30b Release snapshot by TrustworthySystems · 11 years ago