Guru Prasad Srinivasa
eff0f9152c
Updated closetest to open /bin/true instead of sys161.conf
2016-03-01 14:37:01 -05:00
Geoffrey Challen
4bbcf5839e
ASST2 target cleanup.
2016-03-01 13:11:30 -05:00
Geoffrey Challen
58315a9286
Working on ASST2 targets.
2016-03-01 12:04:53 -05:00
Geoffrey Challen
7fa97457a1
Working on ASST2 targets.
2016-03-01 11:44:44 -05:00
Guru Prasad Srinivasa
b65a333d34
Merge branch 'master' of gitlab.ops-class.org:staff/os161
2016-03-01 02:50:11 -05:00
Guru Prasad Srinivasa
21169ed500
Added test161 files for ASST2
2016-02-29 20:12:09 -05:00
Guru Prasad Srinivasa
f141875f20
Updated kmalloc secprintf to satisfy forkbomb
2016-02-29 20:12:01 -05:00
Guru Prasad Srinivasa
f0e1d8722c
Updated libtest161
2016-02-29 20:11:50 -05:00
Guru Prasad Srinivasa
e51ebc0b1a
Added function crash_prog() to userland/libc
2016-02-29 20:11:28 -05:00
Guru Prasad Srinivasa
d466eb7102
Added userland/testbin
2016-02-29 20:10:59 -05:00
Scott Haseley
e7ec655415
Removed printsf, an unused secure testing printf variant. This variant does not apply now that each test has its own secret.
...
Fixed unused variable in libtest161 in kernel compiles.
2016-02-29 16:43:35 -05:00
Scott Haseley
a5963a0e31
Removed secret printing in the shell
2016-02-26 11:46:35 -05:00
Scott Haseley
874a211af9
Changed userspace secprintf to use "say" function, which should be atomic wrt
...
console writing if write works properly.
2016-02-26 11:41:27 -05:00
Scott Haseley
0cda18234c
Undefine secret testing
2016-02-23 15:43:57 -05:00
Scott Haseley
1b99c0e18f
Refactored ksecprintf -> secprintf. Secure code is now all in common libtest161.
...
This library gets linked in by default in userland, and the common files are
included in the kernel.
2016-02-23 15:31:37 -05:00
Geoffrey Challen
2e74764d49
Be better about creating the compile directory.
2016-02-22 13:33:36 -05:00
Geoffrey Challen
de2ff931c3
Small fix to boot test.
2016-02-22 13:33:23 -05:00
Geoffrey Challen
2944ed9ccd
Working on ASST1 overlay.
2016-02-18 16:39:54 -05:00
Geoffrey Challen
bff9490413
Adding cvt5 to targets.
2016-02-18 16:39:36 -05:00
Geoffrey Challen
2791378f6e
Add cvt5 to target.
2016-02-18 16:37:27 -05:00
Geoffrey Challen
02c12c4256
Change to the synchronization problem drivers.
2016-02-18 16:36:11 -05:00
Geoffrey Challen
00eb1b44fb
New CV test.
2016-02-18 16:14:48 -05:00
Geoffrey Challen
08fd92507d
Merge branch 'root_base_linkage'
2016-02-18 14:20:02 -05:00
Scott Haseley
b9b2924ccf
Changed the hashed signed message to be in line with what test161 is expecting (id: message)
2016-02-17 13:44:22 -05:00
Geoffrey Challen
3bab32f407
Still fixing synch naming.
2016-02-17 11:07:06 -05:00
Geoffrey Challen
25ba3efe7f
Rename tag as well.
2016-02-17 10:59:30 -05:00
Geoffrey Challen
3ab7073fc2
Linking root and base during kernel installation.
2016-02-17 07:54:32 -05:00
Geoffrey Challen
c00f4584ce
Make sure boot test uses multiple cores.
2016-02-17 07:54:03 -05:00
Geoffrey Challen
0eaa519f23
Slightly nicer boot print.
2016-02-17 07:53:47 -05:00
Geoffrey Challen
6c55193a58
Eliminate printfs to speed up boot and exit.
2016-02-17 07:12:09 -05:00
Geoffrey Challen
63e9257b93
Remove --- headers.
2016-02-16 16:50:43 -05:00
Scott Haseley
2b0c91ff4b
test161: Adding assignment 1 commands, tests, and targets
2016-02-16 01:28:22 -05:00
Geoffrey Challen
0bdd3681c6
Fixes to problem drivers.
2016-02-15 11:10:19 -05:00
Geoffrey Challen
dc00578b06
Forgot rwt5.
2016-02-15 08:42:54 -05:00
Geoffrey Challen
479acf49c2
Adding stubs for additional RW tests.
2016-02-15 08:37:48 -05:00
Geoffrey Challen
1ba348413d
Cleanup menu items.
2016-02-14 14:53:38 -05:00
Geoffrey Challen
d9de9ca947
Configurations for test161.
2016-02-12 13:04:10 -05:00
Geoffrey Challen
4240e410a3
Merge branch 'master' of github.com:ops-class/os161
2016-02-12 09:22:37 -05:00
Scott Haseley
e9e9b91904
Previous change that changed SECRET to a string broke userland compiles
2016-02-12 00:57:16 -05:00
Scott Haseley
5f7d1f5611
Previous change that changed SECRET to a string broke userland compiles
2016-02-12 00:14:51 -05:00
Geoffrey Challen
a740c60f6d
Small fix.
2016-02-11 21:13:46 -05:00
Geoffrey Challen
5cbbbd8b29
Changes for ASST1 testing.
2016-02-11 20:11:23 -05:00
Geoffrey Challen
32253d53bc
Fix whitespace errors.
2016-02-11 20:10:39 -05:00
Geoffrey Challen
ec9ae33666
Redisable synchprobs by default.
2016-02-11 19:56:59 -05:00
Geoffrey Challen
4b630a915d
Cleanup.
2016-02-11 19:53:53 -05:00
Geoffrey Challen
db6d3d219d
Command to print total kernel heap usage for debugging.
2016-02-11 16:56:51 -05:00
Geoffrey Challen
27b85a44ab
Nearing done with ASST1 changes.
2016-02-11 16:35:46 -05:00
Geoffrey Challen
71f0074f44
Working on synchronization problem code.
2016-02-11 14:46:27 -05:00
Geoffrey Challen
875b75bf24
Improvements to synchronization tests.
2016-02-11 13:55:09 -05:00
Scott Haseley
01f2d3ea2c
Added ksecprintf for securely printing messages from the kernel.
...
If SECRET_TESTING is defined, the function will compute and print
a salt value and the hmac/sha256 hash of the message, which can be
verified from the test161 server.
2016-02-11 01:30:33 -05:00
