Robert

Results 11 issues of Robert

### This fixes an error parsing addresses in device trees. As stated in DT Spec v0.2, section 2.3.5 "#address-cells and #size-cells", the properties `#address-cells` and `#size-cells` need to be read...

Makefile.clean is included on every call of make and generates the uk_clean_list files while processing the makefile. Depending on the number of files to be cleaned, that can take a...

topic/build

### Describe the bug When building with libraries with many source files on my Laptop, Unikraft takes an unnecessarily long time to build the clean rule file list. ``` Including...

kind/bug

Most of the noconfig_targets still need to import parts of the .config if it is available: - `COMMON_CONFIG_ENV` imports values from the .config - `savedefconfig` uses `UK_ARCH` This fixes multiple...

area/arch
area/kconfig
topic/build

### Prerequisite checklist - [x] Read the [contribution guidelines](https://unikraft.org/docs/contributing/) regarding submitting new changes to the project; - [ ] Tested your changes against relevant architectures and platforms; - [ ]...

area/arch
area/plat
plat/xen
kind/quick-fix
lang/c
topic/irq

Introduce an additional path (`F`, `FETCH_BASE`) that is used for fetch targets for the builds. There are multiple motivations for using a distinct fetch base directory: - Reusing downloads shared...

area/makefile
area/support

While working on the ihk support, @gypsephi found some mysterious code. For example, when initializing the kernel space, [a page is set invalid using a magic number](https://github.com/ManyThreads/mythos/blob/c504535041e770c875163352c8c593168f154f3f/kernel/boot/kernelspace-amd64/boot/init-kernelspace-common.cc#L44). Its the first...

enhancement

Proposal for fixing the deadlock triggered by recursive Cap-deletion while holding CapEntry-locks. Please review thoroughly, this needs some work before being ready to merge and probably still has bugs. This...

As of a669d52, the Task State Segment has an IO map segment which is never explicitly initialized. The struct `TSS64` is a member of `DeployHWThread`, which is statically declared in...

Currently, the bochs console is spammed with "[IOAPIC] vector 0 stuck?" which is triggered if bochs is unable to deliver an interrupt 5 times. This is because the destination and...