Tasks
Features
Topic
Replies
Views
Activity
About the Features category
Tasks and discussions surrounding bleeding-edge framework features
2
125
September 13, 2020
überXMHF (rpi3-armv8_32): Add multi-mode capabilities to mixed-trust scheduler üapp
status-underway
,
priority-normal
44
413
October 29, 2020
überXMHF (rpi3-armv8_32): Add mixed-trust scheduler üapp and MAVLINK serial-heartbeat protocol üapp
status-underway
,
priority-normal
4
206
September 19, 2021
überSpark: Add uobjcoll build configuration options (a.k.a compile time defines)
priority-normal
,
status-completed
5
220
January 4, 2021
überXMHF (pc-intel-x86-32): Convert into a üobject collection with a single üobject
priority-normal
,
status-completed
68
1441
December 28, 2020
überXMHF (rpi3-armv8_32): Convert into a üobject collection with a single üobject
priority-normal
,
status-completed
85
1325
December 28, 2020
überXMHF (armv8_32): Revise raspbian jessie-lite linux 4.4.x packages to support kernel-mode virtual memory hole
priority-normal
,
status-completed
31
181
November 30, 2020
überXMHF (rpi3-armv8_32): allow regular users to make hypcalls
priority-normal
,
status-completed
4
95
October 27, 2020
überSpark: Add x86_32 CASM bridge and support for compiling CASM source files
priority-normal
,
status-completed
9
178
October 27, 2020
überSpark: Add frama-c and uberspark verification bridge with uberspark verification bridge plugin infrastructure
priority-normal
,
status-completed
18
142
October 6, 2020
überSpark: Add cc-bridge compiler runtime library support, use crt üobjrtl by default in top-level header, and allow binary section specifications within uobj manifest
priority-normal
,
status-completed
9
249
October 2, 2020
überXMHF (rpi3-armv8_32): Support for SHA256 on uxmhf-rpi3
priority-normal
,
status-completed
5
176
October 2, 2020
überSpark: Add x86_32 hardware üobject runtime library
priority-normal
,
status-completed
44
694
September 10, 2020
überSpark: Add x86_32 hardware model to next-gen toolkit
priority-normal
,
status-completed
16
279
August 27, 2020
überSpark: Add host uid/gid mapping to x86_64 build container
priority-normal
,
status-completed
8
215
July 23, 2020
überSpark: Automatic installation root-dir discovery within front-end CLI
priority-normal
,
status-completed
6
167
July 3, 2020
überSpark: Add libc and libcrypto üobject runtime libraries
priority-normal
,
status-completed
12
355
July 3, 2020
überSpark: Add compiler bridge for Compcert v3.2 through v3.7 (amd64/x86_32)
priority-normal
,
status-completed
8
212
June 25, 2020
überSpark: Add compiler bridge for Compcert v3.1 (amd64/x86_32)
priority-normal
,
status-completed
18
574
May 6, 2020
überXMHF (rpi3-armv8_32): Add UART PV driver back-end üobject
priority-normal
,
status-completed
4
379
June 6, 2020
Feature: new uapp for uberXMHF on Raspberry Pi 3
7
420
October 31, 2020
überXMHF (rpi3-armv8_32): Add PL011 UART receive function and hardware flow control capabilities
priority-normal
,
status-completed
4
162
April 12, 2020
überSpark: Add überSpark compiler, assembler, linker bridges for gcc, gnu-as and gnu-ld (amd64/armv8_32)
priority-normal
,
status-completed
12
304
April 12, 2020
überSpark: Develop CoSS Development Guide üobject collection build example
status-completed
,
priority-normal
11
246
April 12, 2020
überSpark: Refinements to General User's Guide installation walk-through
status-completed
,
priority-normal
26
535
April 12, 2020
Feature: Docker container for uberXMHF on Raspberry Pi 3
2
278
October 31, 2020
