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