DeviceQueue: moved networking related flags to include/net_interfaces/flags.h
[barrelfish] / kernel /
2017-01-16 Adam Turowskifpu context switching for x86_64: the patch by Andrei...
2016-12-23 Moritz Hoffmannkernel/plat_apm88xxxx: Correct gic_cpu_interface_enable...
2016-12-22 Simon GerberMerge GitHub PR#3.
2016-12-20 Kosyrev Sergekernel: provide __stack_chk_fail (fixes build)
2016-12-20 Moritz Hoffmannkernel/armv8: Add RAM::frameIdentify invocation impleme...
2016-12-20 Moritz Hoffmannkernel: cpu_a57v depends on gic_v3
2016-12-20 Moritz Hoffmannkernel: Do not trigger breakpoint on kernel panic
2016-12-20 Moritz Hoffmannkernel/armv8: Remove debug leftovers from timers
2016-12-20 Moritz Hoffmannkernel/armv8: Move GIC initialization to platform-speci...
2016-12-20 Moritz Hoffmannkernel/armv8: Print unrelocated kernel addresses for...
2016-12-14 Simon Gerberkernel: retype: more diagnostics on retype range checks
2016-12-13 David CockComments in the scheduler interface, from code walkthrough.
2016-12-13 Adam Turowskisystime: reverting to a RTC-based calibration on x86
2016-12-07 Moritz Hoffmannkernel/armv8: Return FVP platform for ARMv8 VM cpu...
2016-12-07 Moritz Hoffmannkernel/armv8: Read value from first instead of second...
2016-12-07 Moritz Hoffmannkernel/armv8: Use armv8 register definitions in efiboot...
2016-12-06 Moritz Hoffmannkernel/armv8: Add GIC v3 placeholder implementation
2016-12-06 Moritz Hoffmannarmv8: Add ICC cpu register definitions
2016-12-06 Moritz HoffmannInitial ARMv8 device file with backing sysreg implement...
2016-12-02 Moritz Hoffmannkernel/x1om: Fix compile errors
2016-12-02 Moritz Hoffmannkernel/armv8: Fix timer initialization to properly...
2016-11-30 Adam Turowskisystime: fixing timers on A15
2016-11-30 Moritz Hoffmannkernel/armv8: Read CNTPCT_EL0 for timestamp_read/systim...
2016-11-30 Moritz Hoffmannkernel/armv8: Fix console initialization
2016-11-29 Moritz Hoffmannkernel/systime: Include more specific header
2016-11-29 Moritz Hoffmannkernel/armv8: syscall.c depends on systime.h
2016-11-29 Moritz Hoffmannkernel/armv8: More timer implementation. Also align...
2016-11-29 Moritz Hoffmannkernel/armv8: kernel_timeslice is not unsigned long...
2016-11-29 Adam Turowskisystime: complete remove of kernel_now from x86_64
2016-11-28 Adam Turowskisystime: adding support for A15 (broken for the moment)
2016-11-28 Moritz HoffmannRevert "kernel/pl011: Map kernel virtual address of...
2016-11-28 Adam Turowskisystime: introducing system time based on time stamp...
2016-11-24 Moritz Hoffmannkernel/armv8/sysreg: Add wrappers for more registers
2016-11-24 Moritz Hoffmannkernel/pl011: Map kernel virtual address of device...
2016-11-24 Moritz Hoffmannkernel/logging: Convert defined constants to enum
2016-11-21 Moritz Hoffmannkernel/logging: Change default log level to LOG_NOTE
2016-11-15 Moritz Hoffmannkernel/multiboot2: Remove glbl_core_data variable
2016-11-15 Moritz Hoffmannkernel/multiboot2: Correctly use size parameter for...
2016-11-15 Moritz Hoffmannkernel/armv8: Remove redundant defines from startup_arch.h
2016-11-15 Moritz Hoffmannkernel: Include logging.c in boot drivers
2016-11-15 Moritz Hoffmannkernel/armv8: Correct spawn_{app/bsp}_init function...
2016-11-15 Moritz Hoffmannkernel/armv8: Rename armv8-specific INIT_* defines...
2016-11-15 Moritz Hoffmannkernel/armv8: rename arm_core_data struct to armv8_core...
2016-11-15 Moritz Hoffmannkernel/armv8: Ensure physical memory is page-aligned
2016-11-15 Moritz Hoffmannkernel: Factor common constants for init on armv7 and...
2016-11-15 Moritz Hoffmannkernel/arm: Move armv7-specific dispatch.c to correct...
2016-11-15 Moritz Hoffmannkernel: Unify kernel logging infrastructure
2016-11-10 Moritz Hoffmannkernel: Use common app_alloc_phys and bsp_alloc_phys...
2016-11-10 Moritz Hoffmannkernel/armv7: Remove obsolete omap_usb.c file
2016-11-10 Simon Gerberx86_64: kernel: fix handle_vnode_identify to not do...
2016-11-10 Simon Gerberarmv7: handle VNodeCmd_Identify
2016-11-09 Moritz Hoffmannkernel/armv8/apm88xxxx: Implement platform_get_info
2016-11-09 Moritz Hoffmannkernel/armv8: Cleanup debug output
2016-11-09 Moritz Hoffmannkernel/armv8: Remove platform directories as they are...
2016-11-09 Moritz Hoffmannaarch64: return initial platform info for VM-based...
2016-11-09 Moritz Hoffmannaarch64: Make generic timer initialization platform...
2016-11-09 Moritz Hoffmannaarch64/apm88xxxx: Correct GIC CPU and DIST addresses
2016-11-08 Simon GerberT321: k1om: fix creating RAM caps
2016-11-08 Moritz HoffmannMerge branch 'armv8-syscall' (early part)
2016-11-07 Simon GerberT321: kernel: non power-of-2 sized capabilities remove...
2016-11-01 Lukas HumbelMake debug_my_cspace work with new CSpace layout
2016-10-31 Adam Turowskiarm: fixing LMP delivering
2016-10-31 Adam Turowskinetwork: replacing the continuation manager with simple...
2016-10-19 Simon Gerberkernel: cap_delete: properly insert simple caps that...
2016-10-18 Moritz Hoffmannkernel/capabilities: Use correct base field in sprint_c...
2016-10-14 Lukas HumbelIRQ: Allow retyping of IRQSrc capability
2016-10-14 Lukas HumbelIRQ: Add range to IRQSrc cap
2016-10-13 Moritz HoffmannKernel/capabilities: Remove redundant size check from...
2016-10-13 Moritz HoffmannUse generated OBJSIZE_* constants instead of hard-coded...
2016-10-12 Reto Achermannarmv8: removing GEM8 CPU
2016-10-12 Reto Achermannarmv8: making sections correct in efiboot
2016-10-12 Reto Achermannarmv8: correcting GIC addresses on APM88xxxxx
2016-10-12 Reto Achermannarmv8: adding dependencies to the platform hakefile...
2016-10-11 Moritz HoffmannRemoved unused cap type Notify_RCK.
2016-10-11 Moritz HoffmannT306: Rename mapping.frame to mapping.cap
2016-10-09 Reto Achermannarmv8: removing tmas/paging and merge with armv8/paging.c
2016-10-09 Reto Achermannarmv8: adding missing platform stubs for mustang
2016-10-08 Reto Achermannarmv8: simplifying exception handling by passing the...
2016-10-08 Reto Achermannarmv8: fixing bugs in the syscall handlers to match...
2016-10-08 Reto Achermannarmv8: properly passing syscall arguments to the kernel...
2016-10-06 Reto Achermannkernel: Adding proper target for a57v cpu
2016-10-06 Reto Achermannarmv8: pass over startup_arch + additionts to init...
2016-10-06 Reto Achermannarmv8: adding function to find cmdline from multiboot
2016-10-06 Reto Achermannarmv8: update linker script to reflect changes in efi...
2016-10-06 Reto Achermannarmv8: using arm generic misc.c
2016-10-06 Reto Achermannarmv8: introducing platformfiles for A57 and generic...
2016-10-06 Reto Achermannarmv8/apm88xxxx: removing directory and moving function...
2016-10-06 Reto Achermannarmv8: moving of efi boot code into arm directory
2016-10-06 Reto Achermannkernel: stdlib - adding wrapper tu support long long...
2016-10-06 Reto Achermannarm: renaming kludges to gdb_arch and separaring common...
2016-10-06 Moritz Hoffmannkernel/armv8: fix is_root_pt to return true when type...
2016-10-06 Moritz Hoffmannkernel/paging: Correct compile_vaddr for AARCH64.
2016-10-06 Reto AchermannARMv8: making Barrelfish boot on the X-Gene
2016-10-06 Reto AchermannARMv8: simplify multiboot2 find header
2016-10-06 Reto AchermannARMv8: enabling access to performance monitor from...
2016-10-06 Reto AchermannARMv8: disable alignment checking to allow unaligned...
2016-10-06 Reto AchermannARMv8: passing stack parameter correctly to vminit
2016-10-06 Moritz Hoffmannkernel/armv8: Set page table bits correctly to handle...
2016-10-04 Simon Gerberkernel: dump_ptables: armv7: print rw flags for small...
2016-10-04 Simon Gerberkernel: arm: fix modify_flags invocation
next