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
Yihong Chen
bfb353c211
revert sy6 changes
2016-02-10 20:28:14 -05:00
Yihong Chen
c1216b66b3
add sy6: locktest2
2016-02-10 20:20:41 -05:00
Geoffrey Challen
5521823176
Menu changes and test fixes for ASST1.
2016-02-10 17:03:53 -05:00
Yihong Chen
92fbcef5af
correct process index for whalemating
2016-02-01 11:24:20 -05:00
Yihong Chen
1b38886b8d
Merge branch 'master' of gitlab.ops-class.org:staff/os161
2016-02-01 10:40:46 -05:00
Yihong Chen
5e3334057a
change synchprobs codes for reliable test.
2016-02-01 10:40:24 -05:00
Scott Haseley
a97b1c80b2
Added sha256 hash function and hmac functions (with and without salt) to the kernel
...
and userspace.
In userspace, this is accessed through #include <secure.h>
In the kernel, this is access through #include <kern/secure.h>
There is a unit test for this (hm1) that computes the hmac and compares it to
the known value. The salted vesion tested offline.
-----
Also, fixed usespace compile issue with not changing KERNEL_SECRET => SECRET.
2016-02-01 01:35:53 -05:00
Geoffrey Challen
dc49fc79a4
Disable secret for base.
2016-01-31 10:06:08 -05:00
Geoffrey Challen
716d33964b
Secret testing with multiplier working.
2016-01-31 09:53:13 -05:00
