Tasks
Features
Topic
Replies
Views
Activity
About the Features category
Tasks and discussions surrounding bleeding-edge framework features
3
29
September 13, 2020
überXMHF (rpi3-armv8_32): Add multi-mode capabilities to mixed-trust scheduler üapp
status-underway
,
priority-normal
5
24
October 13, 2020
überXMHF (rpi3-armv8_32): allow regular users to make hypcalls
2
13
October 8, 2020
überXMHF (rpi3-armv8_32): Add mixed-trust scheduler üapp and MAVLINK serial-heartbeat protocol üapp
status-underway
,
priority-normal
4
23
October 8, 2020
überXMHF (rpi3-armv8_32): Convert into a üobject collection with a single üobject
status-underway
,
priority-normal
73
498
October 6, 2020
überSpark: Add frama-c and uberspark verification bridge with uberspark verification bridge plugin infrastructure
priority-normal
,
status-completed
19
34
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
10
83
October 2, 2020
überXMHF (rpi3-armv8_32): Support for SHA256 on uxmhf-rpi3
priority-normal
,
status-completed
6
37
October 2, 2020
überXMHF (pc-intel-x86-32): Convert into a üobject collection with a single üobject task?
priority-normal
,
status-underway
30
301
September 25, 2020
überSpark: Add x86_32 hardware üobject runtime library
priority-normal
,
status-completed
45
271
September 10, 2020
überSpark: Add x86_32 hardware model to next-gen toolkit
priority-normal
,
status-completed
17
116
August 27, 2020
überSpark: Add host uid/gid mapping to x86_64 build container
priority-normal
,
status-completed
9
55
July 23, 2020
überSpark: Add uobjcoll build configuration options (a.k.a compile time defines)
status-waiting
,
priority-normal
2
61
July 23, 2020
überSpark: Automatic installation root-dir discovery within front-end CLI
priority-normal
,
status-completed
7
72
July 3, 2020
überSpark: Add libc and libcrypto üobject runtime libraries
priority-normal
,
status-completed
13
150
July 3, 2020
überSpark: Add compiler bridge for Compcert v3.2 through v3.7 (amd64/x86_32)
priority-normal
,
status-completed
9
117
June 25, 2020
überSpark: Add compiler bridge for Compcert v3.1 (amd64/x86_32)
priority-normal
,
status-completed
19
260
May 6, 2020
überXMHF (rpi3-armv8_32): Add UART PV driver back-end üobject
priority-normal
,
status-completed
5
152
June 6, 2020
überXMHF (rpi3-armv8_32): Add PL011 UART receive function and hardware flow control capabilities
priority-normal
,
status-completed
5
78
April 12, 2020
überSpark: Add überSpark compiler, assembler, linker bridges for gcc, gnu-as and gnu-ld (amd64/armv8_32)
priority-normal
,
status-completed
13
157
April 12, 2020
überSpark: Develop CoSS Development Guide üobject collection build example
status-completed
,
priority-normal
12
118
April 12, 2020
überSpark: Refinements to General User's Guide installation walk-through
status-completed
,
priority-normal
27
207
April 12, 2020
