Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
Unikraft
We are developing Unikraft, a fast, secure and opensource unikernel SDK for extreme specialization.
Collective -
Host: opensource -
https://opencollective.com/unikraft
- Website: https://t.co/W6HHOLeiUN
- Code: https://github.com/unikraft/unikraft
We replace the existing parser in linuxu platform with uklibparam.
The library parsing is perfor...
In the linuxu platform, the user can overwrite the default heap size
parameter. In this patch we...
This patch introduces a linker script to create linker
sections in which to place the library ar...
This patch implements a way to pass array parameters to libraries.
The array parameters are deli...
This patch implements a way to forward string parameters to
libraries.
Signed-off-by: Sharan Sa...
github.com/unikraft/unikraft - 00f620564d326dbab6c5cd0d42c68192a0928b28 authored over 5 years ago by Sharan Santhanam <[email protected]>
This patch provides the header necessary to register a variable as a
user-provided library boot ...
The ukboot library provides the function `uk_version` to print the
version of the Unikraft image...
Instead of adding the linker as a special linker variable, we add the
linker scripts as sources ...
Remove additional variables needed between Makefile.uk and Linker.uk
to prepare the linker flags...
Add the make rule print-lds so the user can print all the linker
scripts used to create a Unikra...
As part of processing the *.ldS source files, the build system
introduces the LIBNAME_LDS-y and ...
The patch uses the UK_PLAT_*_DEF_LDS in the Linker.uk file of the
different platforms while prep...
Each platform may define `UK_PLAT_PLATNAME_DEF_LDS`. This variable
will be used by Unikraft's bu...
The patch introduces a variable to check the platforms on which the
library should be included. ...
The patch gives the option to a library developer to extend the default
Unikraft build system wi...
While setting up the command line arguments to an application, the user
argument start at index ...
Unikraft does not support dynamic loading yet: all libraries are statically
linked. For now, we ...
Signed-off-by: Andrei Gogonea <[email protected]>
Signed-off-by: Teodora Serbanescu <te...
Copied as is from the official musl git mirror
git://git.musl-libc.org/musl, commit 6fcb440d.
O...
github.com/unikraft/unikraft - 3cf11a3bc7b8ff5dbde7e7fba37bc0edaf2e017a authored over 5 years ago by Costin Lupu <[email protected]>
A great number of libraries use explicit loading of dynamic libraries and for
this reason we pro...
Includes `support/build/Makefile.rules` still before the build system
installs any build rule bu...
Splits the single linker build rule into multiple smaller build
rules. By doing this, each indiv...
Splits the single linker build rule into multiple smaller build
rules. By doing this, each indiv...
Splits the single linker build rule into multiple smaller build
rules. By doing this, each indiv...
UK_DEBUG_IMAGES, UK_DEBUG_IMAGES-y are introduced in order to enable
for each platform to specif...
This rule allows to clean all intermediate files, but keep the final
image(s). Simply removing t...
Before GICv2 become ready, we had marked the intctrl APIs as TODO.
Now, we have enabled the GICv...
When we get irq number from device tree, it contains more than
one items, like irq type, hardwar...
This will avoid including too many irq.h headers like:
uk/plat/irq.h, arm/irq.h, irq.h in one so...
This library has implemented basic GICv2 functions. We don't support
GICv2M and security extensi...
As we have implemented the GICv2 interrupt controller, we
can enable the irq trap exception hand...
In current IRQ framework, we only support 16 irq_handlers. This is
well for x86 legacy interrupt...
With commit 33809518 the build system started to produce 2 images
always: one with debugging inf...
Change the signature of the left_shift function from argparse.c and
add maxlen handling.
Signed...
github.com/unikraft/unikraft - 642fe4a853651963c50f4092ff5f037ba78404db authored over 5 years ago by Andrei Gogonea <[email protected]>
Modify argparse.c to be able to correctly parse multiple arguments
contained within quotes. It i...
This helper will be used very frequently to u32 from properties.
So we provide this helper here ...
This helper will be used very frequently for device libraries
to parse their addresses. Introduc...
The ranges property provides a means of defining a mapping or
translation between the address sp...
see 2.3.5 in [1], if "#size-cells" is missing, the default value
should be 1 instead of 2.
Besid...
This helper will be used very frequently for devices to
get their interrupts.
Signed-off-by: We...
github.com/unikraft/unikraft - 9b3c3d813e4cedb127023ff126875ecc66fde365 authored over 5 years ago by Wei Chen <[email protected]>
For most of devices that will use the device tree will have one
or more compatible strings. This...
This helper retrieves the number of cells by scan "#interrupt-cells"
property of fdt.
We will us...
This patch adds the reset device helper function.
Signed-off-by: Roxana Nicolescu <nicolescu.ro...
github.com/unikraft/unikraft - 5fa13f63584a8f8024b6d04a9033008c1e0365a6 authored over 5 years ago by Roxana Nicolescu <[email protected]>
Increase the refcount of the vfscore_file's dentry when opening it.
This is the OSv behaviour si...
Move dentry function declaration inside dentry.h header
to be consistent with node.h and, since ...
We are adding the asserts to be consistent with other
reference releasing functions: drele, vrel...
Since we can allocate a fd without assigning a
vfscore_file we must protect against NULL pointer...
Signed-off-by: Vlad-Andrei Badoiu <[email protected]>
Reviewed-by: Costin Lupu ...
This patch introduces the xenbus drivers menu.
Signed-off-by: Roxana Nicolescu <nicolescu.roxan...
github.com/unikraft/unikraft - 760fd645eda6c676b637980b967add99d4283bc2 authored over 5 years ago by Roxana Nicolescu <[email protected]>
This patch adds the /dev/random and /dev/urandom devices. Since we do not have
any entropy gener...
When the command line is parsed and split into arguments, each argument is saved
in an array of ...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
To provide a syscall user needs to use macro UK_SYSCALL_DEFINE. The
syntax is the following:
UK...
github.com/unikraft/unikraft - ccb39b56624915b976020d26e41235c69fb7ee38 authored over 5 years ago by Yuri Volchkov <[email protected]>First ever user of syscall shim layer
Signed-off-by: Yuri Volchkov <[email protected]>
Re...
The provided_syscalls.h will be containing prototypes for every
syscall present in the system.
...
github.com/unikraft/unikraft - f32606c4b00737dd9e2130d4400c7fda60c38755 authored over 5 years ago by Yuri Volchkov <[email protected]>
The macro layer is efficient, but the exact syscall must be known at
the compilation stage. If a...
The following headers are generated by the code in this patch:
- syscall_nrs.h - just definiti...
In the original repo (git://git.musl-libc.org/musl):
Commit <6516282d2adfad2c7e66d854cde3357120c...
The implementation of syscall_shim relies on uniqueness of the syscall
numbers.
Signed-off-by: ...
github.com/unikraft/unikraft - 6e1d5c49e1510ffa4b65adc5765b6846b86694ea authored over 5 years ago by Yuri Volchkov <[email protected]>This macro is useful not just for tracing.
Signed-off-by: Yuri Volchkov <[email protected]...
github.com/unikraft/unikraft - aa6d845329c3cee524741444a90bcae202c1bab2 authored over 5 years ago by Yuri Volchkov <[email protected]>
The sysconf function should return the number of active processors when
_SC_NPROCESSORS_ONLN is ...
Signed-off-by: Vlad-Andrei Badoiu <[email protected]>
Reviewed-by: Costin Lupu ...
According to Unikraft's coding style indents are
under the form of tabs. The imported code used ...
commit: c8395118cb580f2395cac6c53999feb217fd2c2f
Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei....
Signed-off-by: Vlad-Andrei Badoiu <[email protected]>
Reviewed-by: Yuri Volchko...
The incompatible cast warnings caused by the the macro expansions, such as
`#define devfs_mount ...
Signed-off-by: Vlad-Andrei Badoiu <[email protected]>
Reviewed-by: Costin Lupu ...
It is unclear how much I will be able to contribute in the future.
Sharan has agreed to take ove...
Signed-off-by: Alina Volchkova <[email protected]>
Reviewed-by: Felipe Huici <[email protected]>
This must be a mistake made during porting and adapting types in
particular. All the vnops funct...
With the proper handling of uio for stdio files, vfs also advances the
position in the struct fi...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Florian Schmidt <florian.sch...
This is a template-type of function, to avoid code
duplication. Compiler optimizes extra call to...
This check has been lost during the porting.
Signed-off-by: Yuri Volchkov <yuri.volchkov@neclab...
github.com/unikraft/unikraft - 7b8125d98eb8230cdeb581a435c8b4c17ab9c0eb authored over 5 years ago by Yuri Volchkov <[email protected]>
Introduces a menu option to enable or disable the creation of
compressed images.
Signed-off-by:...
github.com/unikraft/unikraft - 78686331ebd993ea955aa6d5115bf9013fd7ecd5 authored over 5 years ago by Simon Kuenzer <[email protected]>
Introduces the option to build without GCC debug information (`-g0`
parameter). This is generall...
Not used
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <sim...
.. where needed to comply with musl
Signed-off-by: Yuri Volchkov <[email protected]>
Revi...
In the commit 1d84f3dd898e ("build: make all linker scripts
preprocessable") the '-$(CONFIG_ARCH...
Waiting queues were used as stacks (LIFO) instead of queues (FIFO). The
last added thread was th...
The previous patch introduced a race condition: if the current thread
blocks and yields, and an ...
When the current thread is the only one in the thread list, if it wants
to yield after it create...
As soon as we find a new thread to be scheduled, we set it on the
platform stack as well in orde...
Current thread address is saved on the top of the current thread stack.
This patch extends this ...
This patch aligns the stack base address at compile time and makes the
irqstack variable public....
Commit bbcb60ce wrongfully moved this header to ukunistd library instead of
uksysinfo, where una...
Vfscore is the first user of tracepoints. It started to use them even
before they was implemente...
Macro UK_TRACEPOINT generates a static function. One per
tracepoint. Later user will call this f...
Now it is possible to install uk-trace in your local virtual
environment. For example:
python...
One more 'special' stripable section. Will contain strings in format
key = value. Currently, onl...
With this patch trace.py can print the data collected in the
tracefile. And two more use cases a...
Fetch tracebuffer, key-values and tracepoint definitions using objcopy
and gdb.
This patch intr...
github.com/unikraft/unikraft - 917d23a7510855967faf44b9d2d4ab2cd5af51d0 authored over 5 years ago by Yuri Volchkov <[email protected]>
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Costin Lupu <costin.lupu@cs....
The UK_FOREACH is the central macro in the all macro hell needed to
implement static tracepoints...
Create a 'special' section .uk_tracepoints_list, where we will be
storing static definitions of ...
Most of the actual TLS setup is architecture-specific, so sched.c and
thread.c call functions fr...
On x86, the standard way is writing to an MSR to switch the fs register,
which is used as the po...
Because the layout of the TLS area is architecture-specific, we provide
helper functions to get ...
Aggregate all .tdata and .tbss variables in the correct sections, and
define global variables th...
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Costin Lupu <costin.lupu...