This commit fixes compilation warnings by including the missing header
`<uk/posix-fdtab.h>` at `...

This commit adds the `__unused` attribute to the parameters of the
following stub functions:
- `...

This commit makes any reference to `lib/vfscore` dependent on `lib/vfscore`
as part of the build...

Fixes a compiler warning due to comparing numbers of type signed `int` with
unsigned `size_t`.

...

Adds the missing dependency to `lib/posix-poll`. Without that library,
`lib/vfscore` cannot be c...

This commit makes any reference to `lib/vfscore` dependent on `lib/vfscore`
as part of the build...

Fix a compile error when using recursive mutexes. `_UK_MUTEX_UNOWNED` is
undefined.

Signed-off-...

There are still situations where the vfscore relies on the
recursive-by-default behavior of the ...

This is a clean-up commit that removes the indirection of init_stdio() from
fdtable_init() that ...

This commit adds the `__unused` attribute to the parameters of the
`uk_sys_flock()` stub.

Signe...

`SYS_select` can be called with some `fd_set`s (`readfds`, `writefds`,
`exceptsfds`) set with `N...

This allows initializing recursive mutexes statically.

Signed-off-by: Marco Schlumpp <marco@uni...

The argument is the value to which the mode should be set.

Signed-off-by: Marco Schlumpp <marco...

The children of a directory were not moved over to the new entry.

Signed-off-by: Marco Schlumpp...

The flag does not change the behavior of the UNIX sockets in the current
implementation state. T...

This change removes the posix-event library along with support code
in vfscore, replacing it wit...

This change adds support for `(p)select` exposed through
Unikraft-internal interfaces. The imple...

This change adds support for `(p)poll` exposed through Unikraft-internal
interfaces. The impleme...

This change introduces the posix-poll library tasked with file event
polling for both newvfs fil...

This change introduces the posix-eventfd library that implements the
`eventfd` file type with ne...

This change adds posix-unixsocket, a library implementing AF_UNIX
sockets on top of posix-socket...

This change imports the sys/un.h header from musl 1.2.4, needed for type
definitions required to...

This change adds a driver-registerable socket function which is to be
called by posix-socket at ...

This change ports posix-socket from the legacy vfscore file
implementation to newvfs uk_files. I...

This change implements the syscall interface to posix-timerfd, adding
the following syscalls to ...

This change introduces posix-timerfd, a library providing timerfd files.
Initial implementation ...

This change imports the sys/timerfd.h header from musl 1.2.4, needed for
type definitions requir...

This change moves the pipe file creation syscalls out of vfscore and
into posix-pipes, migrating...

This change introduces the posix-pipe library, providing
POSIX-compatible newvfs pipe files.
Ini...

This change moves syscalls that operate strictly on open file
descriptors out of vfscore and int...

This change add Unikraft-internal implementations for file control
functions: ioctl, fcntl, floc...

This change adds Unikraft-internal implementations of file metadata
functions: fstat*, fchown, f...

This change introduces the posix-fdio library, tasked with providing
POSIX-compatible file I/O a...

This change moves the file descriptor table out of vfscore, along with
the fd-specific syscalls ...

This change adds support for legacy vfscore files to posix-fdtab,
allowing both new uk_ofiles an...

This change introduces the posix-fdtab library, tasked with managing the
file descriptor table, ...

This change introduces the ukfile library to provide a new fundamental
abstraction for "files" i...

This change adds a Unikraft macro for an architecture's atomic fetch &
AND operation, similar to...

Signed-off-by: Andrei Tatar <[email protected]>
Reviewed-by: Simon Kuenzer <[email protected]>
...

This change adds the convenience macro `UK_WAIT_QUEUE_INITIALIZER` to
the public API of uksched,...

Checkpatch-Ignore: SPACING
Signed-off-by: Andrei Tatar <[email protected]>
Reviewed-by: Simon K...

This change adds a utility header implementing a reference counting
scheme that supports regular...

This change removes redundant string copies of the destination
extraction path, dropping about h...

This change reorganizes the CPIO extraction code, making the parsing of
header fields more expli...

This change is a minor code cleanup with no significant logic changes,
in preparation for a larg...

This change adds a header with utility functions related to various time
formats defined by stan...

strncpy will produce different results for an empty string depending on the
preceding value of d...

This change removes the unsigned marker on integer literals that define
time-related constants, ...

This change adds a Unikraft macro for the raw compare-exchange
operation, which in contrast to t...

This change makes fstatat gracefully handle NULL arguments by returning
-EFAULT, preventing a ha...

This change fixes the behavior of clock_getres to not return an error
when receiving a NULL as i...

Now that we have `fstab`, we no longer depend on something mounting
a rootfs being preconfigured...

This commit introduces a new make variable,
`UK_IMAGE_NAME_OVERWRITE`, which is used to customiz...

Previously, we were only able to statically configure the ip address,
netmask, and gateway, but ...

Signed-off-by: Razvan Deaconescu <[email protected]>
Signed-off-by: Marc Rittinghaus <marc@uni...

When building without assertions some arguments and variables
are not used. This commit adds res...

The bitfield `ACPI_MADT_GICC_FLAGS_VGIC_IRQ_MODE` of `GICC` had
the wrong value: it may be the 3...

Removes a previously registered interrupt handler.

Notice: Picking individual commits in this P...

Introduces data type macros for assembler code that matches integer sizes
of Unikraft-internal t...

Since insertion of empty memory regions should not happen, return
`-EINVAL` in case the program ...

Assign the full IDT range to the IRQ allocator.

Notice: Picking individual commits in this PR w...

Adds the option to store information about the person/entity/robot that was
compiling a library ...

Add config space access primitives over MMIO for x86_64. On
arm64 these are aliased to the exist...

Using `make savedefconfig` did not save the `UK_NAME` config option.
Fix that by appending the v...

This commit adds the minimum set of changes required for modern virtio
support.

Checkpatch-Igno...

Introduce `arch/x86/x86_64/include/uk/asm/arch.h` for architectural
definitions of x86_64 and mi...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...

This commit introduces a `README.md` document that describes the
`.uk_libinfo` section format an...

Checkpatch and other fixes to comply to coding conventions

Signed-off-by: Michalis Pappas <mich...

This commit adds the minimum set of changes required for modern virtio
support.

Signed-off-by: ...

When we probe for available, valid GICC's, we only look for those
that are already online and in...

In order to preserve alignment among memory region descriptors, we
would strive to align every i...

This commit introduces the option to embed a gzipped version of the
configuration (`.config`) us...

If the early code did everything right when setting up the memory
regions, then no free memory r...

Not that the GIC driver implements the uk_intctlr API, remove the
implementation of the old intc...

This commit introduces the first version of a tool that reads and parses
the library information...

Now that the xPIC drivers provides a unified IRQ handling,
remove explicit APIC IRQ acknowledgme...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...

Add definition of VIRTIO_CONFIG_STATUS_FEATURES_OK in anticipation of
support for modern virtio....

The interpretation of the `interrupts` property in the fdt is
controller-specific [1]. As such, ...

This commit adds the minimum set of changes required for modern virtio
support.

Signed-off-by: ...

Deprecate `gic_init` in favor of `uk_intctlr_probe()`. Migrate the
`gic` global from the soon to...

In order to make the time format consistent for all host localizations
and systems, we use the I...

Until now the x86_64 API has only been providing port-based
access to the device's config space....

It may happen that depending on timing there is no new data in the
virtio queue, however, an IRQ...

Due to virtio using separate data and control paths, it is normal for
the queue to be observed a...

To avoid having the memory region map polluted with descriptors of
length 0, make sure that they...

This commits removes the unused `$(DATE)` variable from the build
system. Build time and date is...

This allows the drivers/device to specify the other side should
send a notification. This is req...

The method of interrupt acknowledgment varies between interrupt
controllers. On GIC interupts ar...

Restructures the build rules to put common dependencies in a single place.
The advantage is that...

The maximum interrupt number depends on the interrupt controller
and potentially also its versio...

Migrate the implementation of the ukplat_irq API from `plat/kvm/irq.c`
to `lib/ukintctlr/`. The ...

Implement a basic printing function for memory regions.
`ukplat_memregion_print_desc`'s implemen...

The new uk_intctlr API defines common interrupt controller driver ops,
along with a set of funct...

When building without assertions some arguments and variables
are not used. This commit adds res...

Add `uk/intctlr/limits.h` with the maximum assignable IRQ value
for GIC.

Update GIC_IRQ_MAX to ...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Marco Schlum...

Assign the entire SPI range to the IRQ allocator.

Notice: Picking individual commits in this PR...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...