Changes:
* init the IRQ subsystem
* init the timer after memory allocator initialization
* enabl...

Signed-off-by: Costin Lupu <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer@nec...

Introducing new header for native interrupt flag functions.

Signed-off-by: Costin Lupu <costin....

Make include/uk/plat/time.h header usable with C++

Signed-off-by: Simon Kuenzer <simon.kuenzer@...

We define a new primitive - the software context - used in context switching for
cooperative sch...

When creating a new thread, the scheduler allocates the stack, sets the thread
address on the st...

Signed-off-by: Costin Lupu <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer@nec...

The option of printing the thread name of the one
issueing a uk_printd() call did not work all t...

Remove debug print before the console is initialized because
this print is going to the same con...

Places early boot code (e.g., 64bit mode switch) and
data (e.g., GDT) to the start of the image....

The -p1 is more commonly used. And, what is more important, this is
the way git generates patche...

The sentence "cross your fingers that the reviewer(s) do(es) not
complain" sounds a bit too hars...

On Debian distributions (e.g., Debian/Ubuntu), the GCC has the
"-pie" flag enabled by default. I...

Call initialization/constructor functions listed in
preinit_array and init_array during early bo...

Adds `ctors.h` header that provide helper macros and defintions
for iterating over preinit_array...

Provide constructor attribute macros for marking a
function symbol as constructor. The linker/co...

Adds preinit_array and init_array sections with the linker script.
Those sections are populated ...

Adds preinit_array and init_array sections with the linker script.
Those sections are populated ...

The linker scripts of Xen and KVM diverged too much. This patch
is aligning KVMs with the ones f...

Provide attribute macros for marking symbols as used
and for specifying a target section for a s...

Instead of using `ld`, `ar`, and `nm`,
use GCC's replacements.
This opens further optimizations ...

Whenever a condition expression for UK_ASSERT() and UK_WARNIF()
is not fulfilled, the macros str...

Introduces a build option that enables link time optmizations (LTO).
When enabled, GCC is doing ...

According to the Linux Programmer's Manual,
posix_memalign() returns zero on success instead
of ...

When using nolibc, multiboot_mmap_entry structure layout was padded
instead of packed because th...

Waiting queues are used for managing threads that wait for some
condition to become true. The im...

Add the name of the thread to the debug messages.
If the name is null or the thread was not crea...

Add timestamp to the debug messages.
The timestamp is retrieved from the platform's
monotonic cl...

Add macro that retrieve the subsecond part of the
given nanoseconds.

Signed-off-by: Dafna Hirsc...

Add macros for printing __nsec and __snsec types
withing formatted string.

Signed-off-by: Dafna...

We do not need to run compiler second time with the same flags plus
'-MM', and modify destinatio...

Files app.uk and elib.uk are regenerated always, but config.h depends
on both of them. And becau...

Replace 'uc' with 'uk' in a directory and file names.

Signed-off-by: Dafna Hirschfeld <dafna3@g...

Fix spelling typos found with 'spell' command.

Signed-off-by: Dafna Hirschfeld <[email protected]...

When using -fdata-sections option of gcc, global and static variables
are placed into .bss.varna...

In order to be inline with the naming of UK_PLAT_BASE
and UK_PLAT_COMMON_BASE, populate platform...

Expose UK_PLAT_BASE and UK_PLAT_COMMON_BASE Makefile variable
to simplify code-organization. The...

Implements ukplat_cink() for Xen. The code is ported
from Mini-OS. It currently works for x86_64...

uk_get_real_start() is used by the compatibility wrapper
to figure out the address of meta infor...

As designed, every allocator interface calls a *_do_*()
variant which actually implements the op...

The current linker script might not place _libxenplat_start, shared_info or
hypercall_page at lo...

Function _init_mem_set_readonly should skip setting to read-only the
mapped _libxenplat_shared_i...

Move generic platform configuration options to a new
platform configuration submenu called "Plat...

Add configuration option that enables a name field in
struct ukplat_memregion_desc (inlucde/uk/p...

uk/config.h is required for console.c. The option XEN_DBGEMERGENCY
is exposed by it. The config ...

Retry sending characters to console ring instead of discarding
them whenever the ring is full (b...

Console support is ported from Mini-OS. It currently
works for x86_64 only.

Signed-off-by: Simo...

C++ flags weren't being properly propagated.

Signed-off-by: Felipe Huici <[email protected]...

C++ flags weren't being properly propagated.

Signed-off-by: Felipe Huici <[email protected]...

Add a reference to the MAINTAINERS.md file in the introduction.

Signed-off-by: Simon Kuenzer <s...

As long as Unikraft uses a shared mailing list with mini-os,
all patches should be prefixed with...

Adds a feature flag called HAVE_BOOTENTRY which should be
set by libraries that provide ukplat_e...

Signed-off-by: Simon Kuenzer <[email protected]>

The URLs in the git clone commands were pointing to a wrong location.

Signed-off-by: Simon Kuen...

Signed-off-by: Simon Kuenzer <[email protected]>

Substantial parts of this code come from Mini-OS.

Signed-off-by: Costin Lupu <[email protected]...

Signed-off-by: Costin Lupu <[email protected]>
Signed-off-by: Simon Kuenzer <simon.kuenzer@n...

Substantial parts of this code come from Mini-OS.

Signed-off-by: Simon Kuenzer <simon.kuenzer@n...

The guides can be built into various formats with sphinx.

Signed-off-by: Felipe Huici <felipe.h...

Signed-off-by: Simon Kuenzer <[email protected]>
Signed-off-by: Florian Schmidt <florian.s...

Signed-off-by: Simon Kuenzer <[email protected]>
Signed-off-by: Florian Schmidt <florian.s...

Signed-off-by: Simon Kuenzer <[email protected]>

Signed-off-by: Simon Kuenzer <[email protected]>
Signed-off-by: Costin Lupu <costin.lupu@c...

Add header files for platform interface.

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

Substantial parts of this code come from Mini-OS.

Currently, scheduling, memory allocation, and...

Currently, scheduling and interrupts are not implemented.

Signed-off-by: Simon Kuenzer <simon.k...

libfdt is part of the Device Tree Compiler (DTC).
It was ported from https://github.com/dgibson/...

Parts of this code was ported from Mini-OS.

Signed-off-by: Simon Kuenzer <simon.kuenzer@neclab....

Substantial parts of this code come from solo5.

Currently, scheduling and interrupts are not im...

Signed-off-by: Simon Kuenzer <[email protected]>

Makefile system for building and configuration.

This contains kconfig from buildroot and checkp...

Add header files for architecture interface.

Signed-off-by: Simon Kuenzer <simon.kuenzer@neclab...

Signed-off-by: Simon Kuenzer <[email protected]>
Signed-off-by: Florian Schmidt <florian.s...

Signed-off-by: Simon Kuenzer <[email protected]>
Signed-off-by: Florian Schmidt <florian.s...

Signed-off-by: Simon Kuenzer <[email protected]>

Signed-off-by: Florian Schmidt <[email protected]>