Re: [Minios-devel] [UNIKRAFT PATCH 0/2] Fixes for linuxu platform

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Hey Wei,

thanks a lot for your patches. We are aware that linuxu is unfortunately 
broken on staging currently (which is not an excuse). The low-level 
platform APIs underwent some changes in order to support scheduling but 
broke the platforms. Although Xen and KVM is working again, linuxu is 
not done yet.
You can find the patch series that implements the missing pieces here:
https://lists.xenproject.org/archives/html/minios-devel/2018-06/msg00087.html

I need to find time to apply reviewers comments on this and provide 
another version of it.
On 09.07.2018 18:16, Wei Liu wrote:
> I haven't fixed all problems, but unfortunately I don't have time anymore.
>
> The other problems when building helloworld are:
>
> /local/work/unikraft/unikraft/apps/helloworld/build/libukboot.o: In function 
> `ukplat_entry':
> (.text+0x172): undefined reference to `ukplat_irq_init'
> (.text+0x1b6): undefined reference to `ukplat_lcpu_enable_irq'
> /local/work/unikraft/unikraft/apps/helloworld/build/libukdebug.o: In function 
> `_vprintd':
> print.c:(.text+0x137): undefined reference to `ukplat_monotonic_clock'
> /local/work/unikraft/unikraft/apps/helloworld/build/libvfscore.o: In function 
> `vfscore_alloc_fd':
> (.text+0xa): undefined reference to `ukplat_lcpu_save_irqf'
> (.text+0x49): undefined reference to `ukplat_lcpu_restore_irqf'
> /local/work/unikraft/unikraft/apps/helloworld/build/libvfscore.o: In function 
> `vfscore_get_file':
> (.text+0x199): undefined reference to `ukplat_lcpu_save_irqf'
> (.text+0x1c6): undefined reference to `ukplat_lcpu_restore_irqf'
> collect2: error: ld returned 1 exit status
>
> I have written a half-baked implementation for ukplat_monotonic_clock but then
> discovered there is not clock_gettime in nolibc.
It will be actually implemented the opposite way round. nolibc will use 
the platform API (and maybe other libraries) (e.g., 
ukplat_monotonic_clock) to provide libc calls, like clock_gettime.
> Wei.
>
> Wei Liu (2):
>    plat/linuxu: fix ukplat_lcpu_halt_to
>    plat/linuxu: add plat/common/memory.c
>
>   plat/linuxu/Makefile.uk | 2 ++
>   plat/linuxu/lcpu.c      | 6 +++---
>   2 files changed, 5 insertions(+), 3 deletions(-)
Thanks,

Simon

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel