summaryrefslogtreecommitdiff
path: root/libddekit
AgeCommit message (Expand)Author
2012-02-18Use experimental.defs instead of patched device.defs and mach.defsSamuel Thibault
2012-02-18Fix figureSamuel Thibault
2012-02-18remove duplicate headers, to be replaced by experimental.defsSamuel Thibault
2011-08-23missing renameSamuel Thibault
2011-08-23missing irq->line renamingSamuel Thibault
2011-08-23rename intr.h constantsSamuel Thibault
2011-08-23rename device_intr_notify into device_intr_registerSamuel Thibault
2011-08-23rename irq into intr or lineSamuel Thibault
2011-08-23rename device_irq_enable into device_intr_enableSamuel Thibault
2011-05-08reorder vm_allocate_contiguous parameter like vm_allocateSamuel Thibault
2011-05-08Rename vm_dma_buff_alloc RPC into vm_allocate_contiguousSamuel Thibault
2011-05-08Do not skip old RPCsSamuel Thibault
2011-05-08remove .svn directoriesSamuel Thibault
2010-06-15implement get_random_bytes() with random() in libcZheng Da
2010-06-14fix compiling problems in libddekit and libmachdev.Zheng Da
2010-06-09fix a race condition in the interrupt handler.Zheng Da
2010-06-09make __l4ddekit_initcall_* variables global.Zheng Da
2010-06-05remove printing.Zheng Da
2010-05-31change Makefile to install ddekit header files.Zheng Da
2010-05-28ddekit slab uses libhurd-slab.Zheng Da
2010-05-28reimplement ddekit_large_malloc.Zheng Da
2010-05-28memory from linux_kmalloc is aligned with cache line size.Zheng Da
2010-05-11block intloop thread when irq is disabled.Zheng Da
2010-05-07call device_irq_enable even when interrupt is ignored.Zheng Da
2010-05-07fix a bug when device_intr_notify return an error.Zheng Da
2010-05-04Add util.h in libddekit.Zheng Da
2010-05-04Use more memory chunks for linux_kmalloc.Zheng Da
2010-04-22ddekit: print messages.Zheng Da
2010-04-22jiffies in the type of unsigned long.Zheng Da
2010-04-22jiffies in the type of unsigned long.Zheng Da
2010-04-06implement dump_stack in libddekit with backtrace.Zheng Da
2010-04-06Use mem device to map memory for MMIO.Zheng Da
2010-03-03Support MMIO.Zheng Da
2010-02-28reset the helder pointer before unlock in ddekit lock.Zheng Da
2010-02-27IRQ server doesn't have reply messages.Zheng Da
2010-02-27Add `flags` in RPC device_intr_notify definition.Zheng Da
2010-02-27Add `flags` for interrupt registration.Zheng Da
2010-02-27remove RPCs for PCI conf space.Zheng Da
2010-02-05print to stderr.Zheng Da
2010-02-05fix a bug in ddekit: use the relative time.Zheng Da
2010-01-29remove printing in the interrupt handler.Zheng Da
2010-01-27remove the printing in timer.Zheng Da
2010-01-27Enable the irq after installing irq handler and receiving an interrupt.Zheng Da
2010-01-26allocate a port for interrupt delivery.Zheng Da
2010-01-26raise the priority of the interrupt handler thread.Zheng Da
2010-01-26ddekit: support multiple pci buses in the system.Zheng Da
2010-01-21initialize pciaccess in ddekit.Zheng Da
2010-01-19hide free_pages.Zheng Da
2010-01-19Add initcall in ddekit.Zheng Da
2010-01-16Create a ddekit thread directly for ddekit timer.Zheng Da