projects
/
barrelfish
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
barrelfish
2016-06-07
Simon Gerber
Merge branch 'caps_next'
commit
|
commitdiff
|
tree
|
snapshot
2016-06-02
Reto Achermann
libgmp: remove dependency to libbarrelfish
commit
|
commitdiff
|
tree
|
snapshot
2016-05-25
Simon Gerber
T238: fix renaming mistake
commit
|
commitdiff
|
tree
|
snapshot
2016-05-25
Simon Gerber
T238: fix vnode_objsize() to not use BASE_PAGE_SIZE...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-24
Reto Achermann
fixing undefined global in spantest-exit. closes T220
commit
|
commitdiff
|
tree
|
snapshot
2016-05-23
Simon Gerber
T238: change kernel to use new vnode_objsize() when...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-23
Simon Gerber
T242: handle FLOUNDER_ERR_TX_BUSY for all capops
commit
|
commitdiff
|
tree
|
snapshot
2016-05-23
Simon Gerber
T242: handle FLOUNDER_ERR_TX_BUSY in usr/monitor/capops...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-23
Reto Achermann
making K1OM_Full build again
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
T89: Reverting (again) the first version of the routing...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
Add appenzeller to machines with broken bridge programming
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Simon Gerber
Remove unneeded printk() in kernel/startup.c
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Simon Gerber
T191: xeon_phi: Update driver to use new API and minor...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
T89: Make missing ACPI bridge entry non fatal.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
T89: Revert irq_routing.pl to swizzling one
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
T89: Improve irqtest
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
T89: ACPI path names can be longer than 16 chars.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
ACPI/PCI: Improved output
commit
|
commitdiff
|
tree
|
snapshot
2016-05-17
Lukas Humbel
GMP: Add escaping to CC argument. Allows to use compile...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-10
Simon Gerber
T191: x86_64: make it compile again
commit
|
commitdiff
|
tree
|
snapshot
2016-05-10
Simon Gerber
kernel: paging_generic: compile_vaddr: handle case...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Simon Gerber
T191: init: use mm_add_multi in initialize_ram_alloc()
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Simon Gerber
T191: remove commented-out cap splitting in caps_create...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Simon Gerber
gem5: Fix menu.lst.arm_gem5_mc to set mmap to 256MB...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Simon Gerber
T191: armv7: refactor code to use range retype and...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Simon Gerber
T191: aarch64: fix monitor invoke_retype
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
Fixup
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
T89: Add irqtest to harness
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
T89: irqtest output improved
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
T89: Dont swizzle pins when doing the PIN lookup.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
T89: Discover and disable all PCI link devices on boot.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
T89: Discover PCI IRQ Routing tables using correct...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
T89: Added a test to test PCI interrupts using e1000...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Simon Gerber
harness: add build type for armv7 gem5+debug symbols
commit
|
commitdiff
|
tree
|
snapshot
2016-05-09
Lukas Humbel
T89: Better ACPI debug output
commit
|
commitdiff
|
tree
|
snapshot
2016-04-29
Simon Gerber
vspace_pinned_alloc: dump errors so that we get full...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-29
Simon Gerber
T191: cleanup comments and some TODOs
commit
|
commitdiff
|
tree
|
snapshot
2016-04-29
Simon Gerber
T191: aarch64: implement invocations and related change...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-29
Simon Gerber
T191: rename testsuite from caps_next to capops
commit
|
commitdiff
|
tree
|
snapshot
2016-04-29
Simon Gerber
T191: x86_64: refactor retype2 back to retype
commit
|
commitdiff
|
tree
|
snapshot
2016-04-22
Simon Gerber
T191: python script to generate dot file to plot mdb...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-22
Simon Gerber
T191: User space works again with reduced set of provid...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-21
Simon Gerber
T191: T231: caps_create_new() now takes region and...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: T231: rename caps_create->caps_create_old and...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: change all of user space to call new retype direc...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: kernel: add debug prints about zeroing
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: remove old caps_retype() code from kernel
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: minor changes to retype2 test output
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: add warning about use of old retype
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: Fix zeroing for !(type == Frame)
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: write multi retype test and add test_retype2...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
Fix cap tracing static assert
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: update monitor capops retype
commit
|
commitdiff
|
tree
|
snapshot
2016-04-20
Simon Gerber
T191: call invoke_cnode_retype2 with count = 0 from...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: fix wrong error
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: fix missing arg in cap_retype2()
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: rearrange check in kernel, do easy checks first...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: add tests delete+retype and misaligned size and...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: comment arg dumping for retype2 and add comment...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: fix retype2 for overlapping requests + tests...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: fix simple test
commit
|
commitdiff
|
tree
|
snapshot
2016-04-19
Simon Gerber
T191: retype2: more testing of simple success cases
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
T191: Fix missed renaming of test
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
T191: simple range check to allow non-overlapping retyp...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
T191: fix test output to describe tests more accurately...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
T191: add testing for new retype code; not complete
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
Implement identify command for ObjType_RAM
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
T191: fix wrong command in invoke_cnode_retype2, and...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
qemu-wrapper: Fix typo in default hd file
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
harness,qemu wrapper: Make harness use qemu wrapper...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
T191: Implement prototype for new retype
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
Squashed changes of e89aa91..6ca6bdf (master as of...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
armv7-m: port mapping capability changes
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
harness: Remove x86_32 from buildarchs for x86_64 ethz...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-18
Simon Gerber
armv7-m: fix missing bits in posixcompat, compiler...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-15
Lukas Humbel
IRQ: Correctly setup pci device interrupts
commit
|
commitdiff
|
tree
|
snapshot
2016-04-13
Lukas Humbel
lpc_timer: Fix for multiple clients
commit
|
commitdiff
|
tree
|
snapshot
2016-04-12
Simon Gerber
harness: dynamically generate "enough" compiler-rt...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
David Cock
ARMv8 report bib fixes
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
David Cock
ARMv8 report formatting fixups.
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
David Cock
ARMv8 report is content complete.
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
David Cock
ARMv8 report S4.1 (user-space threading)
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
David Cock
ARMv8 report looking good up to S3.1
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
David Cock
Rerun pdflatex in more cases.
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
David Cock
ARMv8 tech report
commit
|
commitdiff
|
tree
|
snapshot
2016-04-08
Lukas Humbel
IRQ: bugfix (no index variable shadow)
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Lukas Humbel
IRQ: added support to X86_32 kernel
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Lukas Humbel
IRQ: added invocations to x86_32
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: ARM invocations added
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: refactoring caps names
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: Now using (again) a table of ep caps for dispatch...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: Found bug, added assertion
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: added irq source capability and make the inthandle...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: Making the code actually work. ACPI interface
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
Added ACPI_SERVICE_DEBUG to Config.hs.template
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: changed kernel to use irq_dest_cap table with...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: added IRQVector cap
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: getting pci_client closer to using new interface
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: work in progress on receiving side
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Lukas Humbel
IRQ: dont pass nirqs
commit
|
commitdiff
|
tree
|
snapshot
next