Vlad Badoiu

icon indicating a website link https://vladandrew.github.io/

icon company University Politehnica of Bucharest icon location Bucharest icon location PhD student at University Politehnica of Bucharest. @cs-pub-ro

Results 3 issues of Vlad Badoiu

Add Kernel Adress Sanitization support

10 comment

Kernel Address Sanitizer for Unikraft. Currently working only under KVM x86_64. We use the first part of the heap for the shadow memory(e.g. KASAN_MD_SHADOW_SIZE bytes are used for the shadow...

area/plat
area/lib
plat/kvm
lib/ukalloc
lib/allocbuddy
lib/ukboot
new/library
lang/c
arch/x86_64
lib/ukallocbbuddy

Add support for external schedulers

2 comment

We need to extend uksched to support external schedulers. Right now there is a call to `uk_schedcoop_init` in `uk_sched_default_init`. Adding a new scheduler is done by adding a call to...

kind/project
area/makefile
lib/ukboot
lib/uksched
topic/build

Document plat/linuxu: TAP netdev driver

The pull request plat/linuxu: TAP netdev driver[1] introduces a new awesome functionality but there is no documentation for it. [1] https://github.com/unikraft/unikraft/pull/251