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
As noted in https://wiki.xenproject.org/wiki/Unikraft_Incubation_Project_Proposal,
the project i...
When debug logging is enabled, semaphores messages logging can get
very aggressive and flood the...
Until now, timeout equal to 0 meant waiting until the semaphore counter
would have got greater t...
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Felipe Huici <felipe.hui...
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Felipe Huici <felipe.hui...
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Felipe Huici <felipe.hui...
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Felipe Huici <felipe.hui...
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Felipe Huici <felipe.hui...
This naming follows the naming of ukplat_monotonic_clock().
Signed-off-by: Florian Schmidt <flo...
github.com/unikraft/unikraft - 13d4ae9af291ddf3451cca2041eae63ebd35bd62 authored almost 6 years ago by Florian Schmidt <[email protected]>
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Felipe Huici <felipe.hui...
Release: 0.3.1 Iapetus
Signed-off-by: Florian Schmidt <[email protected]>
Signed-off-by...
Signed-off-by: Florian Schmidt <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kue...
Some headers already defined __NEED_pid_t, but the actual definition in
shareddefs.h didn't make...
Consists of multiple tiny fixes:
- syscalls.c: include dirent.h after unistd.h, because it req...
Newlib implements printf via writing to stdout. I does a couple of
checks before writing into th...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Florian Schmidt <florian.sch...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Florian Schmidt <florian.sch...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Florian Schmidt <florian.sch...
DTB, TEXT and RODATA would not be modified while booting, so we just
need to invalidate and clea...
The previous L3 page table size is a fixed value based on the
assumption that, image size will n...
The boot code will not rewrite itself, and we don't have any relocation
operation for code area....
The pagetable memory and boot stack are contiguous, so we can
clear these two areas at the same ...
We have updated the L3 table build function to support large memory
range. In this case, we can ...
Some semicolons are needless in assembly source code. So we remove
them from code.
Signed-off-b...
github.com/unikraft/unikraft - 03ae0079d6ea7f2ab428521c334079f489f4ad87 authored almost 6 years ago by Wei Chen <[email protected]>
We will disable MMU and CACHE before pagetable is ready. This
means we will change memory with c...
If we enable the SCTLR_ELx.SA, Arm64 stack pointer must be aligned to
16-byte before being used ...
There is superfluous blank line before _dtb_get_cmdline,
we remove it in passing.
Signed-off-by...
github.com/unikraft/unikraft - 2b227afcc541f5e4839306b24b227d5bcce2d81b authored almost 6 years ago by Wei Chen <[email protected]>
Current L3 table build function only supports to build L3 table for
memory range not exceeded th...
There is a issue about stack alignment check in url[1]. There
might be case where the stack poin...
Before MMU turn on, the DSB operation only need to apply out
to the point of unification.
Signe...
github.com/unikraft/unikraft - 6c7d42e5a93fa96f3b47ba6470e3b84d2236b3bb authored almost 6 years ago by Wei Chen <[email protected]>
The global variables defined in link scripts like _text, _etext and _end
are declared in multipl...
As discussed in mailing list [1], we can use macro-ed helpers to avoid
having to write 4 times o...
We'd better to mention where our code comes from, this helps to
check whether code has been upda...
As we use VA == PA mapping, so the VIRT_BITS must be the same as
PA_BITS. We can get PA_BITS fro...
Using tab to replace spaces for the indent before ukplat_entry_argp.
Signed-off-by: Wei Chen <w...
github.com/unikraft/unikraft - 2ffcf526eccf0a0d742a40a1d9ef6dbc45cfcec2 authored almost 6 years ago by Wei Chen <[email protected]>
As discussed in mailing list [1], the check for '--enable-default-pie'
is unnecessary, because G...
As the operand will not be written before the instruction has finished.
So, we don't need the ea...
There is a potential undefined behaviour for pointer comparision.
How to avoid this gcc optimiza...
This file is for Arm64 only, so we rename it to pagetable64.S.
Signed-off-by: Wei Chen <wei.che...
github.com/unikraft/unikraft - eddefb9fc7614168ecc6e7d1d2e21d4b7322db2d authored almost 6 years ago by Wei Chen <[email protected]>Remove redundant space while entering trap.
Signed-off-by: Wei Chen <[email protected]>
Signed-o...
We have subtract the __TRAP_STACK_SIZE from sp while entering the tarp,
but while exiting the tr...
This patch adds the .txz and tar.xz formats into the build system.
This is needed for the C++ li...
Release: 0.3 Iapetus
Signed-off-by: Simon Kuenzer <[email protected]>
Signed-off-by: Shar...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
The non-negative return codes types of check-patch complains are
ignored for now, because this w...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
To comply with Unikraft coding style, indents must be tabs, not
spaces. Imported code was a mixt...
git tag: v0.52.0
commit: 00299190414e4c7c5b0f2d74cd11763dac34e5b9
Signed-off-by: Yuri Volchkov ...
github.com/unikraft/unikraft - 83fee282a19fa3c7fb1f376cc8ea1138c9e19ff2 authored almost 6 years ago by Yuri Volchkov <[email protected]>
As counterpart to `vfscore_get_file`, we export `vfscore_put_file`
as a way to release the refco...
Introduce a minimal `stdbool.h` header that provides definitions
of `bool`, `true`, and `false`....
Fucntions sys(mount|umount|umount2|sync) are complete function
calls. User applications should u...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Sharan Santhanam <sharan.san...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Sharan Santhanam <sharan.san...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
These functions are used in the imported code, which is not enabled
yet. This required to expand...
All this code is running in kernel
Signed-off-by: Yuri Volchkov <[email protected]>
Revie...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Sharan Santhanam <sharan.san...
The macro registers the filesystem in the static array
Signed-off-by: Yuri Volchkov <yuri.volch...
github.com/unikraft/unikraft - 971555512940ee1e566398fa3400665aa6bc9741 authored almost 6 years ago by Yuri Volchkov <[email protected]>
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Simon Kuenzer <simon.kuenzer...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Sharan Santhanam <sharan.san...
Style problems and proper includes
Signed-off-by: Yuri Volchkov <[email protected]>
Revie...
tag: v1.1.20
commit: 0fa1e638e87cf257e9f96b4019b2076afd674a19
Signed-off-by: Yuri Volchkov <yur...
github.com/unikraft/unikraft - baa066af676ff3754191b668ae542b5381c52588 authored almost 6 years ago by Yuri Volchkov <[email protected]>The code is imported as is.
Commit f1f42915a33bebe120e70af1f32c1a4d92bac780
Signed-off-by: Yur...
github.com/unikraft/unikraft - 54e65bbb61ba8123682aac59dd3f14384c41ed6b authored almost 6 years ago by Yuri Volchkov <[email protected]>
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Sharan Santhanam <sharan.san...
To comply with Unikraft coding style, indents must be tabs, not
spaces. Imported code was a mixt...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Sharan Santhanam <sharan.san...
Some c++isms are keep because bigger pieces needed to be redone around
them.
Some code is just ...
github.com/unikraft/unikraft - c45e7b74d5849f49341eeb6e1156593721ea61fe authored almost 6 years ago by Yuri Volchkov <[email protected]>
Like on plat/kvm, we acknowledge interrupts even in the
case when there was no handler for it. W...
Acknowledge interrupts even in the case when there was no
handler for it. We do this to (1) comp...
With the recent update of the print system, the hexdump functionality
was not adopted. This made...
Unify linker scripts of both architectures of the Xen platform.
For simplicity, the layout and l...
Clear the bss section during boot so that it is initialized with 0.
Additonally, we make sure wi...
Introduce minimal CPU definitons to enable compiling for Arm32.
This commits also removes x86 sp...
Splits the two console implemetations (hvc, emergency) from each other.
Similar to plat/kvm, a c...
Introduces a menu option to enable or disable grant table support.
The reason is that our grant ...
Provide HAVE_NW_STACK feature symbol in lib/Config.uk.
When liblwip is used, it is set.
Signed-...
github.com/unikraft/unikraft - 3cc2c729aa635a7df2003eb4cd3a0b9683f838f0 authored almost 6 years ago by Simon Kuenzer <[email protected]>
The little helper script `configupdate` did not detect any config changes
with `.config` anymore...
Adds a minimal cpu.h for Arm32 so that linux user space
can be built again.
Signed-off-by: Simo...
github.com/unikraft/unikraft - 06cb4527f392d33130dd805f37e9a0db95bc34f1 authored almost 6 years ago by Simon Kuenzer <[email protected]>
The source files of libarmmath were moved to a subdirectory
without modifiying the corresponding...
In case of compiling with newlib enabled, essentials.h is not getting
included. Because of that,...
Like on the other platforms, the console options for debugging
messages should not be hidden whe...
Link Time Optimization does not work well with incremental linking (ld
-r), which is heavily use...
Unikraft is using incremental linking, which is not supported by lto
in gcc earlier then 6.1.
S...
github.com/unikraft/unikraft - e111fbbc7f4c374acdfb23b29d032d0d30769725 authored almost 6 years ago by Yuri Volchkov <[email protected]>
Currently LTO during incremental linking is not supported well enough
by gcc.
Signed-off-by: Yu...
github.com/unikraft/unikraft - b874a5db550e19319af9c2316a97b8efcd1fdf64 authored almost 6 years ago by Yuri Volchkov <[email protected]>
The gitsha1 script is used to create a version string for unikraft that
includes the git hash. H...
Include the `print-vars` target to the `null_targets` variable. This
is done for consistency.
S...
github.com/unikraft/unikraft - aca388f7da622f90bf158866ecba5ddc2bc457fb authored almost 6 years ago by Simon Kuenzer <[email protected]>
As soon as no configuration `.config` is available, the Make targets
`print-libs`, `print-objs`,...
Until now, the targets `distclean` and `properclean` were not
available if `.config` file is not...
git tag v1.1.20
commit <0fa1e638e87cf257e9f96b4019b2076afd674a19>
Signed-off-by: Yuri Volchkov ...
github.com/unikraft/unikraft - acf4dab9b19032cd18954caeafbca2b8bd09e1de authored almost 6 years ago by Yuri Volchkov <[email protected]>
The memchr return NULL if it did not find '\0' character. The strnlen
did not take this into acc...
Signed-off-by: Yuri Volchkov <[email protected]>
Reviewed-by: Sharan Santhanam <sharan.san...
The help text of LIBUKDEBUG_PRINTK was speaking about debug messages
although the option configu...
This is a function symmetric to ukarch_inc, which we already have. The
ukarch_dec does atomic de...