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
Geoffrey Challen
59d447acf6
Merge branch 'master' of gitlab.ops-class.org:staff/os161
2016-01-22 11:19:00 -05:00
Geoffrey Challen
6c7e083827
Rename to allow complete test directory overwrite.
2016-01-22 11:18:13 -05:00
