Commits · 3913140b295e975d4f3b19b1563efb127bf1ff27 · paradise / mirror / DIVINE · GitLab

Jun 01, 2019
- cmake: Move stringified native DiOS libraries into their own namespace. · 3913140b
  Petr Rockai authored Jun 01, 2019
  
  3913140b
- RT: Add functions to get the content of the native libc++{,abi} static libs. · 7511c6ec
  Petr Rockai authored Jun 01, 2019
  
  7511c6ec
May 31, 2019
- cmake: Disable -Wold-style-cast when building libc++{,abi}. · 821fb51a
  Petr Rockai authored May 31, 2019
  
  821fb51a
May 30, 2019
- tools: Add support for linking C++ programs to divcc. · 1fcecff5
  Petr Rockai authored May 30, 2019
  
  1fcecff5
- cmake: Build and stringify native versions of libc++{,abi}.a as part of DiOS. · c499c69e
  Petr Rockai authored May 30, 2019
  
  c499c69e
May 29, 2019
- VM: Update documentation of hypercalls (and __boot) in divm.h. · 310b020b
  Petr Rockai authored May 29, 2019
  
  310b020b
- VM: Initial (and incomplete) documentation of divm.h data structures. · 2d7d64e2
  Petr Rockai authored May 29, 2019
  
  2d7d64e2
May 28, 2019
- VM: Explain the constants defined in divm.h. · dda3193a
  Petr Rockai authored May 28, 2019
  
  dda3193a
May 26, 2019
- dios: Add a portable __fpurge implementation to libdios-host. · 7532cf06
  Petr Rockai authored May 26, 2019
  
  7532cf06
May 25, 2019
- dios: Add a portable __freading implementation to libdios-host. · 9edb45af
  Petr Rockai authored May 25, 2019
  
  9edb45af
- test: Check that the coreutils 8.31 package configures & builds with divcc. · 95526fa5
  Petr Rockai authored May 25, 2019
  
  95526fa5
- test: Add infrastructure for testing divcc builds of 3rd-party packages. · e09be14f
  Petr Rockai authored May 25, 2019
  
  e09be14f
- make: Export JOBS and TEST_ALLOW_DOWNLOADS into the environment. · bc3166b6
  Petr Rockai authored May 25, 2019
  
  bc3166b6
- libc: Use host values for locale category macros (LC_*). · c962cb8e
  Petr Rockai authored May 25, 2019
  
  c962cb8e
- libc: Add declarations and stubs for getlogin() and alarm(). · 27443058
  Petr Rockai authored May 25, 2019
  
  27443058
- libc: Provide stubs for {,f}pathconf and define the associated constants. · c4ae0716
  Petr Rockai authored May 25, 2019
  
  c4ae0716
- tools: Also include setjmp/longjmp in the divcc whitelist. · 4c70d831
  Petr Rockai authored May 25, 2019
  
  4c70d831
- libc: Use host layout for `struct dirent`. · 349aa4da
  Petr Rockai authored May 25, 2019
  
  349aa4da
- dios: Add prototypes and a syscall stub for flock(). · d4c4997d
  Petr Rockai authored May 25, 2019
  
  d4c4997d
- dios: Use hostabi.pl to get values for the fcntl F_* flags. · 3f349dde
  Petr Rockai authored May 25, 2019
  
  3f349dde
- dios: Add `struct dirent` to hostabi.h. · 42ec58d1
  Petr Rockai authored May 25, 2019
  
  42ec58d1
- libc: Add `libgen.h` and import `dirname()` and `basename()` from OpenBSD. · a99bdbcd
  Petr Rockai authored May 25, 2019
  
  a99bdbcd
- libc: Add a rudimentary getpagesize() implementation. · 676f80bf
  Petr Rockai authored May 25, 2019
  
  676f80bf
- libc: Hide a few system headers that we don't currently have. · 0f21e9c8
  Petr Rockai authored May 25, 2019
  
  0f21e9c8
- libc: Fix missing #includes in sys/mount.h. · a9365735
  Petr Rockai authored May 25, 2019
  
  a9365735
- libc: Move sched_yield() & struct sched_param from pthread.h to sched.h. · 5a1512eb
  Petr Rockai authored May 25, 2019
  
  5a1512eb
May 24, 2019
- test: Fix dios/help.sh (configuration is no longer a runtime option). · 46f23a57
  Petr Rockai authored May 24, 2019
  
  46f23a57
- UI: Do not pass 'config:synchronous' to DiOS (configuration is now static). · 8361c19f
  Petr Rockai authored May 24, 2019
  
  8361c19f
- libc: Move free() back into 'libc' and allow an arch-specific check instead. · 87eff862
  Petr Rockai authored May 24, 2019
  
  87eff862
May 23, 2019
- dios: Add a README. · 63df1243
  Petr Rockai authored May 23, 2019
  
  63df1243
- dios: Mention that `dios.h` is deprecated. · 12abfb9b
  Petr Rockai authored May 23, 2019
  
  12abfb9b
- doc: Add first lecture to the internals tutorial. · dd77b431
  Petr Rockai authored May 23, 2019
  
  dd77b431
- doc: Import an outline of a tutorial on DIVINE internals. · 8111793b
  Petr Rockai authored May 23, 2019
  
  8111793b
- dios: Add documentation for the Upcall kernel component. · eb6774b9
  Petr Rockai authored May 23, 2019
  
  eb6774b9
- dios: Document the BaseContext and the syscall mechanism. · e66efff7
  Petr Rockai authored May 23, 2019
  
  e66efff7
- dios: Briefly explain the environment that is passed to DiOS. · 7930fa9d
  Petr Rockai authored May 23, 2019
  
  7930fa9d
- dios: Explain the KObject class. · 88d05f6b
  Petr Rockai authored May 23, 2019
  
  88d05f6b
- dios: Restyle and comment the fault handler. · 8cc1c369
  Petr Rockai authored May 23, 2019
  
  8cc1c369
- dios: Split off `debug.hpp` from `kernel.hpp`. · 482d6614
  Petr Rockai authored May 23, 2019
  
  482d6614
- dios: Document the Clock kernel component. · 37f418e1
  Petr Rockai authored May 23, 2019
  
  37f418e1