freebsd-skq/sys/contrib
Ed Schouten 5e7b54b184 Add very preliminary support for CloudABI for ARMv6.
In order to make CloudABI work on ARMv6, start off by copying over the
sysvec for ARM64 and adjust it to use 32-bit registers. Also add code
for fetching arguments from the stack if needed, as there are fewer
register than on ARM64.

Also import the vDSO that is needed to invoke system calls. This vDSO
uses the intra procedure call register (ip) to store the system call
number. This is a bit simpler than what native FreeBSD does, as FreeBSD
uses r7, while preserving the original r7 into ip.

This sysvec seems to be complete enough to start CloudABI processes.
These processes are capable of linking in the vDSO and are therefore
capable of executing (most?) system calls successfully. Unfortunately,
the biggest show stopper is still that TLS is completely broken:

- The linker used by CloudABI, LLD, still has troubles with some of the
  relocations needed for TLS. See LLVM bug 30218 for more details.

- Whereas FreeBSD uses the tpidruro register for TLS, for CloudABI I
  want to make use of tpidrurw, so that userspace can modify the base
  address directly. This is needed for efficient emulation.
  Unfortunately, this register doesn't seem to be preserved across
  context switches yet.

Obtained from:	https://github.com/NuxiNL/cloudabi (the vDSO)
2016-09-18 11:36:54 +00:00
..
alpine-hal Update Annapurna Alpine HAL to a newer version. 2016-09-06 14:59:13 +00:00
cloudabi Add very preliminary support for CloudABI for ARMv6. 2016-09-18 11:36:54 +00:00
dev [ath_hal] quieten a bit of the boot messages - this stuff has been working for a while. 2016-09-12 04:58:59 +00:00
ipfilter/netinet Remove the 4.3BSD compatible macro m_copy(), use m_copym() instead. 2016-09-15 07:41:48 +00:00
libfdt
libnv Fix style issue in the cnv API. 2016-08-27 13:40:27 +00:00
ncsw Consistently use device_t 2016-08-09 19:32:06 +00:00
ngatm
octeon-sdk Consistently use device_t 2016-08-09 19:32:06 +00:00
rdma/krping Fix for printf() compile warning when fast_reg.length is 64-bit. 2016-04-22 07:29:38 +00:00
v4l
vchiq/interface Update VCHIQ driver to upstream version 4eda74f2 2016-08-31 01:04:57 +00:00
x86emu Optimize ROL and ROR emulations and fix comments. 2016-02-18 23:03:37 +00:00
xz-embedded