projects
/
barrelfish
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Update README to reflect new tools
[barrelfish]
/
kernel
/
2016-09-21
Simon Gerber
T284: make kernel message on occupied destination slot...
tree
|
commitdiff
2016-09-21
Simon Gerber
T284: Change flounder to use provided slots when in...
tree
|
commitdiff
2016-09-02
David Cock
ARMv7: Identify A5 on boot.
tree
|
commitdiff
2016-09-01
David Cock
ARMv7: A15/A17 FVPs. Don't quite work yet.
tree
|
commitdiff
2016-09-01
David Cock
ARMv7: Added coreboot for Zynq7000 - doesn't work yet.
tree
|
commitdiff
2016-08-30
David Cock
ARMv7: Removed unused dependences from CPU drivers.
tree
|
commitdiff
2016-08-30
David Cock
ARMv7: Set all mappings to inner-shareable.
tree
|
commitdiff
2016-08-30
David Cock
Merge branch 'master' into arm_coreboot
tree
|
commitdiff
2016-08-30
David Cock
ARMv7: Manual coreboot works on Pandaboard
tree
|
commitdiff
2016-08-29
David Cock
ARMv7: Factored boot protocol out of plat_vexpress
tree
|
commitdiff
2016-08-26
David Cock
ARMv7: Add cpu_boot.S for A15
tree
|
commitdiff
2016-08-26
David Cock
ARMv7: Route IRQs to the CPU that enables them.
tree
|
commitdiff
2016-08-26
David Cock
ARM: Report number of SPIs correctly on boot.
tree
|
commitdiff
2016-08-26
David Cock
ARMv7: Use bytes, not bits for URPC frame.
tree
|
commitdiff
2016-08-25
David Cock
ARMv7: Clone CPU driver cmdline correctly.
tree
|
commitdiff
2016-08-25
David Cock
ARMv7: Include core ID in kernel messages.
tree
|
commitdiff
2016-08-25
David Cock
ARMv7: Always load SP via the GOT.
tree
|
commitdiff
2016-08-24
David Cock
ARMv7: Pass the correct boot record address to the...
tree
|
commitdiff
2016-08-16
Simon Gerber
Remove CONFIG_NEWLIB #define and all uses
tree
|
commitdiff
2016-08-15
Simon Gerber
armv7: kernel: monitor_delete_last: fix argument unmars...
tree
|
commitdiff
2016-08-15
Simon Gerber
T243: Fix armv7 paging code and caps_retype() to proper...
tree
|
commitdiff
2016-08-15
Simon Gerber
T243: capability types and kernel code now accurately...
tree
|
commitdiff
2016-08-11
Simon Gerber
Fix kernel struct dispatcher_shared_arm include in...
tree
|
commitdiff
2016-08-10
Simon Gerber
T258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND...
tree
|
commitdiff
2016-08-05
David Cock
ARMv7: Find and pass the GOT base to the APP core.
tree
|
commitdiff
2016-08-05
Simon Gerber
kernel: armv7: zynq7: add arm/debug.c to hake rule
tree
|
commitdiff
2016-08-05
David Cock
ARMv7: Coreboot makes it into the APP CPU driver.
tree
|
commitdiff
2016-08-05
Simon Gerber
armv8: QEMU ARMv8 compiles
tree
|
commitdiff
2016-08-05
Simon Gerber
T266: armv7: add kernel-side handlers for cnode resizing
tree
|
commitdiff
2016-08-05
Simon Gerber
T274: armv8: update monitor invocations and cleanup...
tree
|
commitdiff
2016-08-05
Simon Gerber
Merge branch 'caps_next'
tree
|
commitdiff
2016-08-05
David Cock
ARMv7: CPU driver relocations done.
tree
|
commitdiff
2016-08-05
David Cock
ARMv7: Boots again following coreboot rewrite.
tree
|
commitdiff
2016-08-05
David Cock
ARMv7: Changes to support coreboot on ARM
tree
|
commitdiff
2016-08-05
Simon Gerber
T274: armv8: update cspace invocations
tree
|
commitdiff
2016-08-05
Simon Gerber
T258: Delete GPT cspace functionality and rename new...
tree
|
commitdiff
2016-08-02
Simon Gerber
kernel: caps_delete_foreigns: check for copies in prede...
tree
|
commitdiff
2016-08-02
Simon Gerber
T276: armv7: Add new monitor invocation for retypeabili...
tree
|
commitdiff
2016-08-02
Simon Gerber
T276: Fix monitor revoke check to check for overlapping...
tree
|
commitdiff
2016-08-02
David Cock
ARMv7: Use TPIDRPRW to hold the kernel GOT base.
tree
|
commitdiff
2016-08-02
David Cock
ARMv7: Added arch-specific platform info.
tree
|
commitdiff
2016-07-29
Lukas Humbel
Merge branch 'master' into irq
tree
|
commitdiff
2016-07-29
Simon Gerber
T273: armv7: Fix monitor invocations for capability...
tree
|
commitdiff
2016-07-29
Simon Gerber
T274: Fix remote retype
tree
|
commitdiff
2016-07-29
Lukas Humbel
IRQ: Activate PCI interrupts
tree
|
commitdiff
2016-07-29
Lukas Humbel
IRQ: Kaluga start driver with IRQ caps.
tree
|
commitdiff
2016-07-29
Lukas Humbel
IRQ: use uint64_t everywhere for int numbers, renamed...
tree
|
commitdiff
2016-07-29
Simon Gerber
T191: reduce verbosity in caps_retype()
tree
|
commitdiff
2016-07-29
Simon Gerber
kernel: x86,k1om: #define START_KERNEL_PHYS as alias...
tree
|
commitdiff
2016-07-28
David Cock
Zynq7: Added empty kaluga platform.
tree
|
commitdiff
2016-07-28
David Cock
ARMv7: Console now works on Pandabord and Zynq
tree
|
commitdiff
2016-07-28
David Cock
ARMv7: Rewrote serial drivers on ARM.
tree
|
commitdiff
2016-07-27
Simon Gerber
T266: add test for resizing root cnode and fix minor...
tree
|
commitdiff
2016-07-27
Simon Gerber
T266: Resizing root cnode enabled for libmm slot allocator
tree
|
commitdiff
2016-07-26
Moritz Hoffmann
kernel/armv8: Do not create iocap on ARMv8.
tree
|
commitdiff
2016-07-26
Moritz Hoffmann
kernel/armv8: Remove unused code. Create caps for gaps...
tree
|
commitdiff
2016-07-26
Moritz Hoffmann
kernel/armv8: Remove debug print.
tree
|
commitdiff
2016-07-26
Moritz Hoffmann
armv8: Do not invalidate D and I cache on context switc...
tree
|
commitdiff
2016-07-25
Simon Gerber
T273: armv7: monitor invocation handlers: rename bits...
tree
|
commitdiff
2016-07-25
Simon Gerber
T273: x86_64: monitor invocation handlers: rename vbits...
tree
|
commitdiff
2016-07-25
Simon Gerber
T273: fix monitor_retype and adjust arguments in direct...
tree
|
commitdiff
2016-07-25
Simon Gerber
T258: x86: fix ipi_register_notification to use new...
tree
|
commitdiff
2016-07-25
Simon Gerber
T258: fix sys_yield to use new capability lookup function
tree
|
commitdiff
2016-07-25
Simon Gerber
T258: x86_64: change dispatcher_setup_guest, trace_setu...
tree
|
commitdiff
2016-07-25
Simon Gerber
T273: x86_64: distributed capability operations updated...
tree
|
commitdiff
2016-07-25
Simon Gerber
T272: armv7: implement two-level cspace layout
tree
|
commitdiff
2016-07-25
Simon Gerber
kernel: fix argument names in lmp_deliver()
tree
|
commitdiff
2016-07-25
Simon Gerber
kernel,x86_64: move handle_map to where it should be...
tree
|
commitdiff
2016-07-25
David Cock
OMAP44xx: Bumped Pandaboard clock to 600MHz.
tree
|
commitdiff
2016-07-22
Reto Achermann
kernel: passing alloc_phys_aligned on 32-bit
tree
|
commitdiff
2016-07-22
Reto Achermann
kernel/kpi: using PRIuGENSIZE in print statements
tree
|
commitdiff
2016-07-22
Simon Gerber
T258, T264, T270: Implement two-level cspace layout...
tree
|
commitdiff
2016-07-22
Reto Achermann
ARMv8: Enabling access to counters from userspace.
tree
|
commitdiff
2016-07-21
Reto Achermann
ARMv8: reading CBAR register correctly
tree
|
commitdiff
2016-07-21
David Cock
Merge branch 'master' of ssh://code.systems.ethz.ch...
tree
|
commitdiff
2016-07-21
David Cock
ARMv7: Place non-boot cores into WFE on entry
tree
|
commitdiff
2016-07-21
Moritz Hoffmann
kernel/armv8/tmas: Poor man's relocation of uart base...
tree
|
commitdiff
2016-07-20
Moritz Hoffmann
Finish merge with current master.
tree
|
commitdiff
2016-07-20
Moritz Hoffmann
Merge branch 'master' into tmas
tree
|
commitdiff
2016-07-20
Reto Achermann
[ARMv8] temporarly disable memory region coalescing...
tree
|
commitdiff
2016-07-20
Reto Achermann
[ARMv8] adding locations of the ACPI tables to bootinfo...
tree
|
commitdiff
2016-07-20
Reto Achermann
[ARMv8] adding defines for address space sizes in bits
tree
|
commitdiff
2016-07-20
David Cock
ARMv7: usbboot can now handle arbitrary entry points.
tree
|
commitdiff
2016-07-20
David Cock
ARMv7: Updated DS-5 FVP debug scripts.
tree
|
commitdiff
2016-07-19
Reto Achermann
[ARMv8] adding comments stating assumptions on state...
tree
|
commitdiff
2016-07-19
Reto Achermann
[ARMv8] make sure stack is relocated to high addresses
tree
|
commitdiff
2016-07-19
Reto Achermann
[ARMv8] adding functions to read and write current...
tree
|
commitdiff
2016-07-19
Moritz Hoffmann
kernel/aarch64: Replace rdtsc by dummy.
tree
|
commitdiff
2016-07-18
David Cock
Merge branch 'master' of ssh://code.systems.ethz.ch...
tree
|
commitdiff
2016-07-18
David Cock
ARMv7: Include boot driver section headers in boot...
tree
|
commitdiff
2016-07-18
Reto Achermann
[Kernel/ARMv8] making sure call to arch_init is in...
tree
|
commitdiff
2016-07-18
Reto Achermann
[Kernel/ARMv8] making KERNEL_OFFSET explicit ULL.
tree
|
commitdiff
2016-07-18
Reto Achermann
[Kernel/ARMv8] fixing includes to match refactored...
tree
|
commitdiff
2016-07-18
Reto Achermann
[Kernel] Removing start_aps.c from Hakefile list, as...
tree
|
commitdiff
2016-07-18
Simon Gerber
kernel: k1om: Update spawn_* functions to match new...
tree
|
commitdiff
2016-07-18
Simon Gerber
armv7: make compile on Ubuntu 14.04 (GCC 4.8.2)
tree
|
commitdiff
2016-07-15
David Cock
ZYNQ: Helps if the memory map is correct.
tree
|
commitdiff
2016-07-15
David Cock
ZYNQ: We make it into init now.
tree
|
commitdiff
2016-07-15
David Cock
ZYNQ: Kernel boots as far as trying to spawn init.
tree
|
commitdiff
2016-07-15
David Cock
ARMv7: All existing platforms boot again
tree
|
commitdiff
next