armv8: Remove duplicate armv8 qemu target
[barrelfish] / kernel /
2020-03-18 Daniel Schwynarmv7/8: Don't include armv7 headers in shared code
2020-03-06 Lukas Humbelarmv8: Initialize systime_frequency for init process
2019-11-22 Daniel Schwynarmv8: Improve readability of register restoration...
2019-11-22 Daniel Schwynarmv8: Fix abort when disabled handling
2019-11-22 Daniel Schwynarmv8: Pass correct page fault cause
2019-11-22 Daniel Schwynarmv8: Support no access page mappings
2019-11-18 Lukas Humbelarmv8: Cleanup kernel messages
2019-11-18 Lukas Humbelimx8x: Boot second core
2019-11-18 Lukas Humbelarmv8: increase kcb size to accomodate vector table
2019-11-18 Lukas Humbelarmv8: remove kernel printfs
2019-11-18 Lukas Humbelarmv8: Port irq cap invocations
2019-11-08 Lukas Humbelarmv8: Implement wait_for_interrupt
2019-11-08 Lukas Humbelarmv8: fix duplicate platform_get_timer_interrupt
2019-11-07 Lukas Humbelarmv8: Start with all interrupts disabled
2019-10-08 Daniel Schwynimx8x: Fix lpuart Mackerel file
2019-10-08 Daniel Schwynarmv8: Stop debugging imx8x in boot driver
2019-10-08 Daniel SchwynImprove lpuart kernel driver
2019-10-08 Daniel SchwynFix platform support for imx8x
2019-10-08 Daniel SchwynGet rid of serial driver assembly in boot_entry
2019-10-08 Daniel SchwynAdd serial support for imx8x in boot driver
2019-10-08 Daniel SchwynAdd imx8x platform
2019-10-08 Daniel SchwynAdd lpuart kernel driver
2019-09-27 Daniel Schwynarmv8: Disable debug prints in boot driver
2019-09-27 Daniel Schwynarmv8: Add debug output for boot driver on QEMU
2019-09-27 Daniel Schwynarmv8: Don't overwrite core data passed by bootloader
2019-09-27 Daniel Schwynarmv8: Kernel expects core data also on BSP
2019-09-27 Daniel Schwynarmv8: Improve handling of multiboot info
2019-09-27 Daniel Schwynarmv8: Fix naming of multiboot functions
2019-08-20 Reto Achermannarmv8: make all defined target compile (ARMV8_All)
2019-07-31 Aya Kayalarmv8: Fix idcap_identify syscall
2019-07-31 Reto Achermannarmv8: actually pass the faulting address
2019-07-19 Reto Achermannarmv8: expect the right number of arguments in the...
2019-07-19 Reto Achermanncpudriver: get the mapping size for armv8 mappings
2019-07-19 Reto Achermannx86_64: fail or attempt to map page-tables read/write
2019-07-18 Reto Achermannarmv8: vnode invocation modify flags takes 4 arguments
2019-04-26 Daniel SchwynARMv7: Map all init frames shareable (coherent)
2019-04-16 Lukas Humbelarmv8: Remove debug printf
2019-04-03 Reto Achermannreplacing umlaute and fixing address in headers Haldene...
2019-03-05 Lukas HumbelMerge branch 'armv7_irq_debug'
2019-03-05 Lukas Humbelarmv7: Disable CPU reading cpu count from GIC
2019-02-27 Lukas Humbelturn serial pc16550d into module
2019-02-20 Lukas Humbelarmv7: remove gic dist debug
2019-02-20 Lukas HumbelTurn serial driver into module and fix userspace GIC
2019-02-20 Lukas HumbelARM: Fix kernel IRQ debug printf
2018-12-19 Simon Gerberdispatcher: remove DISPATCHER_FRAME_BITS, and redefine...
2018-12-18 Simon GerberMerge branch 'memory_system'
2018-12-14 Lukas Humbelarmv7: Correct name PL130 to PL390
2018-12-14 Lukas Humbelarmv7: enable timer in kernel
2018-12-13 Lukas Humbelarmv7: Move distributor driver to userspace
2018-11-27 Adam Turowskiarms: unifying interrupts, timers and platform data
2018-11-27 Adam Turowskisystime: adding a relative timeout function
2018-11-15 Adam Turowskiarm: GICs cleanups
2018-11-14 Adam Turowskiarmv8: initial Raspberry Pi 3 support
2018-11-14 Adam Turowskiarmv8: generalizing the interrupt controller
2018-11-14 Adam Turowskiarmv8: EFI Barrelfish loader
2018-11-13 Simon Gerberkernel,libbarrelfish: Remove Frame identify and Vnode...
2018-11-13 Simon Gerberkernel: only allow sys_identify_cap() when target is...
2018-11-13 Simon GerberRemove invoke_frame_identify, replaced with frame_ident...
2018-11-13 Simon Gerberlibbarrelfish: endpoints: refactor to make EP managemen...
2018-11-09 Simon Gerberkernel: access_ok: properly check that buffer is in...
2018-11-09 Simon Gerberkernel: armv7: paging_is_region_valid: add parentheses...
2018-11-08 Simon Gerberkernel: armv8: add missing invocation handler for Kerne...
2018-11-08 Simon GerberEarly cnode allocation: only provide 64 16kB RAM caps...
2018-11-07 Simon Gerberkernel: cap_delete: clean up delete list handling.
2018-11-07 Simon Gerberkernel: caps_reclaim_ram: zero reclaimed ram slot in...
2018-11-06 Simon Gerberkernel: x86_64: vmkit: handle_dispatcher_setup_guest...
2018-11-01 Simon Gerberkernel,monitor: implement reclaiming of previously...
2018-10-31 Simon Gerberk1om: add missing libbarrelfish Hakefile stuff and...
2018-10-30 Simon Gerberkernel: implement access_ok() to check user pointer...
2018-10-23 Simon Gerberkernel,armv8: move offsets constants to target/armv8...
2018-10-23 Simon Gerberlibbf: use cap_direct_identify for frame_identify and...
2018-10-22 Simon Gerberarmv8: make compile
2018-10-22 Simon Gerberarmv7: make compile
2018-10-22 Simon Gerbercapabilities: fix static asserts after merge
2018-10-22 Simon Gerberkernel,x86_64: vnode_inherit: fix call to create_mappin...
2018-10-22 Simon GerberMerge upstream (including changes for ubuntu 18.04...
2018-10-22 Simon Gerberkernel,x86_64: mask write flag on page table when it...
2018-10-22 Simon Gerberkernel,libbarrelfish: implement general purpose direct...
2018-10-22 Simon Gerberkernel: x86_64: print raw values of large and huge...
2018-10-22 Simon Gerberkernel: x86_64: fix offset calculation in page_mappings...
2018-10-22 Simon Gerberkernel: paging_generic: page_mappings_unmap: print...
2018-10-22 Simon Gerberkernel,paging_generic: clean up create_mapping_cap()
2018-10-22 Simon GerberT383: vnode_inherit: create mapping caps for cloned...
2018-10-22 Simon GerberT383: Add comment about needing to create mapping caps...
2018-10-22 Simon GerberT384: x86_64: change shadow page tables to have dedicat...
2018-10-22 Simon Gerberkernel: fix sys_copy_remap() declaration
2018-10-22 Simon Gerberkernel,x86_64: allow dump of page tables around provide...
2018-10-22 Simon Gerberkernel,x86_64: Add assertion about mapping cap type
2018-10-22 Simon Gerberkernel: paging_copy_remap: add offset to dest addr...
2018-10-22 Simon Gerberkernel: update copy_remap invocation implementation...
2018-10-22 Simon Gerberkernel: add debug printf in vnode_inherit handler
2018-10-22 Simon Gerberkernel: fix remaining merge errors in vspace management...
2018-10-22 Simon Gerberdisable printk for dropped ram caps
2018-10-22 Simon GerberT168: modify system to be more/less verbose about pagef...
2018-10-22 Simon GerberT167: improvements to copy-on-write benchmark.
2018-10-22 Simon GerberT166: implement cloning of pte pages using spacejmp...
2018-10-22 Reto Achermannmvas: adding kernel support for raw vnode copy
2018-10-22 Simon GerberMerge memory paper code into memory system branch
2018-10-22 Simon GerberMerge distops benchmarking into memory system branch
2018-10-11 Lukas Humbelhpet source code cleanup
next